An ascending chain of S4 logics

DOI10.1111/j.1755-2567.1974.tb00081.xzbMath0307.02013OpenAlexW2008952614MaRDI QIDQ4063119

Kit Fine

Publication date: 1975

Published in: Theoria (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1111/j.1755-2567.1974.tb00081.x

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Model theory (03C99) Categoricity and completeness of theories (03C35)

Related Items

Algorithms for recognizing restricted interpolation over the modal logic S4 ⋮ Jankov Formulas and Axiomatization Techniques for Intermediate Logics ⋮ Yankov Characteristic Formulas (An Algebraic Account) ⋮ The Lattice NExtS41 as Composed of Replicas of NExtInt, and Beyond ⋮ AN ALGEBRAIC APPROACH TO INQUISITIVE AND -LOGICS ⋮ The structure of lattices of subframe logics ⋮ Characteristic formulas of partial Heyting algebras ⋮ A decidable noncompact extension of the logic S4 ⋮ Notes on logics of metric spaces ⋮ FMP-ensuring logics, RA-ensuring logics and FA-ensuring logics in NExtK4.3 ⋮ Cluster expansion and the boxdot conjecture ⋮ KRULL DIMENSION IN MODAL LOGIC ⋮ A classification of modal logics ⋮ Mathematical modality: an investigation in higher-order logic ⋮ On some ascending chains of Brouwerian modal logics ⋮ Classification of extensions of the modal logic S4 ⋮ An algebraic approach to canonical formulas: modal case ⋮ On pretabular logics in NExtK4. I ⋮ Admissible rules for pretable modal logics ⋮ A solution to a problem of Urquhart ⋮ On modal logics arising from scattered locally compact Hausdorff spaces ⋮ TYCHONOFF HED-SPACES AND ZEMANIAN EXTENSIONS OF S4.3 ⋮ Modal companions of intermediate propositional logics ⋮ Cofinal stable logics ⋮ Normal modal logics determined by aligned clusters ⋮ On the modal logic of subset and superset: tense logic over Medvedev frames ⋮ Connected modal logics ⋮ Failure of interpolation in combined modal logics ⋮ Modal counterparts of Medvedev logic of finite problems are not finitely axiomatizable ⋮ On detachment-substitutional formalization in normal modal logics ⋮ A splitting logic in NExt(KTB) ⋮ Characteristic Formulas Over Intermediate Logics ⋮ Lattice NExtS4 from the Embedding Theorem Viewpoint ⋮ Noncompact extensions of the logic S4 ⋮ KRIPKE COMPLETENESS OF STRICTLY POSITIVE MODAL LOGICS OVER MEET-SEMILATTICES WITH OPERATORS ⋮ Syntax and semantics of modal logics containing S4 ⋮ Logics of some Kripke frames connected with Medvedev notion of informational types ⋮ A theory of necessities ⋮ CHARACTERIZING EXISTENCE OF A MEASURABLE CARDINAL VIA MODAL LOGIC ⋮ Extensions of the provability logic ⋮ Modal logics of domains on the real plane ⋮ Restricted interpolation over modal logic S4 ⋮ On Kripke completeness of modal predicate logics around quantified \textbf{K5} ⋮ An almost general splitting theorem for modal logic ⋮ Logics containing K4. Part II ⋮ LOGICS FOR PROPOSITIONAL CONTINGENTISM