Logics containing K4. Part II

DOI10.2307/2274318zbMath0574.03008OpenAlexW2137410044MaRDI QIDQ3691638

Kit Fine

Publication date: 1985

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

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

zbMATH Keywords

modal logiccompletenesscompactnessfinite model propertysub-frame

Mathematics Subject Classification ID

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

Related Items (38)

Jankov Formulas and Axiomatization Techniques for Intermediate Logics ⋮ Unification in intuitionistic logic ⋮ An algebraic approach to subframe logics. Intuitionistic case ⋮ The decision problem of modal product logics with a diagonal, and faulty counter machines ⋮ Continuity, freeness, and filtrations ⋮ A new solution to a problem of Hosoi and Ono ⋮ The undecidability of the disjunction property of propositional logics and other related problems ⋮ Forbidden configurations and subframe varieties ⋮ Undefinability of propositional quantifiers in the modal system S4 ⋮ The structure of lattices of subframe logics ⋮ FMP-ensuring logics, RA-ensuring logics and FA-ensuring logics in NExtK4.3 ⋮ Canonical formulas for K4. Part I: Basic results ⋮ Undecidable Propositional Bimodal Logics and One-Variable First-Order Linear Temporal Logics with Counting ⋮ The finite model property in tense logic ⋮ Classification of extensions of the modal logic S4 ⋮ An algebraic approach to canonical formulas: modal case ⋮ Syntax and semantics of superintuitionistic logics ⋮ Free Heyting algebra endomorphisms: Ruitenburg’s Theorem and beyond ⋮ Best solving modal equations ⋮ The disjunction property of intermediate propositional logics ⋮ CANONICAL FORMULAS FOR wK4 ⋮ Modal companions of intermediate propositional logics ⋮ Cofinal stable logics ⋮ Maximal Kripke-type semantics for modal and superintuitionistic predicate logics ⋮ Kripke completeness of some intermediate predicate logics with the axiom of constant domain and a variant of canonical formulas ⋮ Erdős Graphs Resolve Fine's Canonicity Problem ⋮ Stable formulas in intuitionistic logic ⋮ Frame based formulas for intermediate logics ⋮ STABLE MODAL LOGICS ⋮ Remarks on Stable Formulas in Intuitionistic Logic ⋮ Syntax and semantics of modal logics containing S4 ⋮ A counterexample in tense logic ⋮ On logics with coimplication ⋮ Transitive logics of finite width with respect to proper-successor-equivalence ⋮ AN ALGEBRAIC APPROACH TO CANONICAL FORMULAS: INTUITIONISTIC CASE ⋮ On the Blok-Esakia Theorem ⋮ Constructive Modalities with Provability Smack ⋮ Modal Logics of Some Hereditarily Irresolvable Spaces

Cites Work

• Decidability and the finite model property
• Investigations in modal and tense logics with applications to problems in philosophy and linguistics
• An ascending chain of S4 logics
• An incomplete logic containing S4
• That All Normal Extensions of S4.3 Have the Finite Model Property
• The Logics Containing S 4.3
• Unnamed Item

This page was built for publication: Logics containing K4. Part II