Canonical formulas for K4. Part II: Cofinal subframe logics

DOI10.2307/2275669zbMath0884.03014OpenAlexW2144359719MaRDI 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 logiccompactnessdecidabilityfinite model propertyintermediate logiccanonicityelementaritysubframe logicmodal companioncanonical formulaKripke-completenesscofinal subframe logicquasinormal modal logic

Mathematics Subject Classification ID

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

Related Items (23)

On rules ⋮ Jankov Formulas and Axiomatization Techniques for Intermediate Logics ⋮ An algebraic approach to subframe logics. Intuitionistic case ⋮ The structure of lattices of subframe logics ⋮ Characteristic formulas of partial Heyting algebras ⋮ Complexity of admissible rules ⋮ Intermediate logics admitting a structural hypersequent calculus ⋮ Classification of extensions of the modal logic S4 ⋮ An algebraic approach to canonical formulas: modal case ⋮ CANONICAL FORMULAS FOR wK4 ⋮ Canonical formulas for K4. Part III: the finite model property ⋮ Erdős Graphs Resolve Fine's Canonicity Problem ⋮ Stable formulas in intuitionistic logic ⋮ The admissible rules of \(\mathsf{BD}_2\) and \(\mathsf{GSc}\) ⋮ Frame based formulas for intermediate logics ⋮ STABLE MODAL LOGICS ⋮ Characteristic Formulas Over Intermediate Logics ⋮ Remarks on Stable Formulas in Intuitionistic Logic ⋮ Substitution Frege and extended Frege proof systems in non-classical logics ⋮ On logics with coimplication ⋮ AN ALGEBRAIC APPROACH TO CANONICAL FORMULAS: INTUITIONISTIC CASE ⋮ On the Blok-Esakia Theorem ⋮ Rules with parameters in modal logic. I.

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

This page was built for publication: Canonical formulas for K4. Part II: Cofinal subframe logics