Logics containing K4. Part II
From MaRDI portal
Publication:3691638
DOI10.2307/2274318zbMath0574.03008OpenAlexW2137410044MaRDI QIDQ3691638
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
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
- Unnamed Item
- 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
This page was built for publication: Logics containing K4. Part II
