Canonical formulas for K4. Part I: Basic results
From MaRDI portal
Publication:4032666
DOI10.2307/2275372zbMath0774.03005MaRDI QIDQ4032666
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
decidability; definability; finite model property; modal logics; canonical formulas; transitive frames; quasinormal modal logic containing K4
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, The finite model property in tense logic, Tense Logic Without Tense Operators, CANONICAL FORMULAS FOR wK4, An algebraic approach to canonical formulas: modal case, Frame based formulas for intermediate logics, The structure of lattices of subframe logics, 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