Canonical formulas for K4. Part II: Cofinal subframe logics

DOI10.2307/2275669MaRDI QIDQ4894720zbMATH OpenOpenAlexFDO

Authors Michael Zakharyaschev

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

compactnessdecidabilityintermediate logicmodal logiccanonicityelementaritysubframe logicfinite model propertymodal companioncanonical formulaKripke-completenesscofinal subframe logicquasinormal modal logic

Mathematics Subject Classification ID

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

Recommendations

• Logics containing K4. Part II
• Criteria for admissibility of inference rules. Modal and intermediate logics with the branching property
• Canonical formulas for K4. Part I: Basic results
• Completeness and decidability of tense logics closely related to logics above K4
• An algebraic approach to subframe logics. Modal case
• The structure of lattices of subframe logics
• Canonical formulas \(\mathbf{wK4}\)
• All Finitely Axiomatizable Normal Extensions of K4.3 are Decidable
• Notes on modal definability
• All finitely axiomatizable subframe logics containing the provability logic CSM₀ are decidable

Cites work

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

Cited in

(26)

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

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4894720)