Canonical formulas for K4. Part II: Cofinal subframe logics

DOI10.2307/2275669zbMath0884.03014MaRDI QIDQ4894720

Michael Zakharyashchev

Publication date: 11 February 1998

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

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

zbMATH Keywords

modal logic; compactness; decidability; finite model property; intermediate logic; canonicity; elementarity; subframe logic; modal companion; canonical formula; Kripke-completeness; cofinal subframe logic; quasinormal modal logic

Mathematics Subject Classification ID

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

Related Items

Canonical formulas for K4. Part III: the finite model property, Erdős Graphs Resolve Fine's Canonicity Problem, CANONICAL FORMULAS FOR wK4, An algebraic approach to canonical formulas: modal case, Complexity of admissible rules, Frame based formulas for intermediate logics, Substitution Frege and extended Frege proof systems in non-classical logics, On logics with coimplication, The structure of lattices of subframe logics, An algebraic approach to subframe logics. Intuitionistic case, Characteristic formulas of partial Heyting algebras, Classification of extensions of the modal logic S4, AN ALGEBRAIC APPROACH TO CANONICAL FORMULAS: INTUITIONISTIC CASE

Cites Work

• Syntax and semantics of superintuitionistic logics
• On the size of refutation Kripke models for some linear modal and tense logics
• Kripke completeness of some intermediate predicate logics with the axiom of constant domain and a variant of canonical formulas
• Pretabular extensions of Lewis S4
• An undecidable problem in correspondence theory
• The undecidability of the disjunction property of propositional logics and other related problems
• On the Independent Axiomatizability of Modal and Intermediate Logics
• That All Normal Extensions of S4.3 Have the Finite Model Property
• The decidability of certain intermediate propositional logics
• The Logics Containing S 4.3