×

zbMATH — the first resource for mathematics

A simpler proof of Sahlqvist’s theorem on completeness of modal logics. (English) Zbl 0442.03019

MSC:
03B45 Modal logic (including the logic of norms)
03C35 Categoricity and completeness of theories
PDF BibTeX XML Cite