Canonical formulas for K4. Part I: Basic results

DOI10.2307/2275372zbMath0774.03005MaRDI QIDQ4032666

Michael Zakharyashchev

Publication date: 1 April 1993

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2275372

zbMATH Keywords

decidability; definability; finite model property; modal logics; canonical formulas; transitive frames; quasinormal modal logic containing K4

Mathematics Subject Classification ID

03B45: Modal logic (including the logic of norms)

Related Items

The undecidability of the disjunction property of propositional logics and other related problems, Canonical formulas for K4. Part III: the finite model property, 1996–1997 Winter Meeting of the Association for Symbolic Logic, Unnamed Item, The finite model property in tense logic, Tense Logic Without Tense Operators, CANONICAL FORMULAS FOR wK4, STABLE MODAL LOGICS, Characteristic Formulas Over Intermediate Logics, On the Blok-Esakia Theorem, On rules, Admissible bases via stable canonical rules, Cofinal stable logics, An algebraic approach to canonical formulas: modal case, Frame based formulas for intermediate logics, The structure of lattices of subframe logics, The admissible rules of \(\mathsf{BD}_2\) and \(\mathsf{GSc}\), A counterexample in tense logic, Characteristic formulas of partial Heyting algebras, Classification of extensions of the modal logic S4, Frege systems for extensible modal logics, AN ALGEBRAIC APPROACH TO CANONICAL FORMULAS: INTUITIONISTIC CASE, Canonical rules

Cites Work

• Four dialogue systems
• Eine Unableitbarkeitsbeweismethode für den Intuitionistischen Aussagenkalkül
• Logics containing K4. Part II
• The decidability of certain intermediate propositional logics
• Modal Logics Between S 4 and S 5