That All Normal Extensions of S4.3 Have the Finite Model Property
From MaRDI portal
Publication:5533177
DOI10.1002/malq.19660120129zbMath0154.00407OpenAlexW1988370352MaRDI QIDQ5533177
Publication date: 1966
Published in: Mathematical Logic Quarterly (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1002/malq.19660120129
Related Items (26)
What is the upper part of the lattice of bimodal logics? ⋮ Almost structural completeness; an algebraic approach ⋮ A normal modal calculus between T and S4 without the finite model property ⋮ Some normal extensions of K4.3 ⋮ The structure of lattices of subframe logics ⋮ On linear Brouwerian logics ⋮ Complexity of admissible rules ⋮ WHAT IS THE CORRECT LOGIC OF NECESSITY, ACTUALITY AND APRIORITY? ⋮ FMP-ensuring logics, RA-ensuring logics and FA-ensuring logics in NExtK4.3 ⋮ A classification of modal logics ⋮ Noncompactness in propositional modal logic ⋮ Mathematical modal logic: A view of its evolution ⋮ Canonical formulas for K4. Part II: Cofinal subframe logics ⋮ About the Temporal Logic of the Lexicographic Products of Unbounded Dense Linear Orders: A New Study of Its Computability ⋮ CANONICAL FORMULAS FOR wK4 ⋮ TYCHONOFF HED-SPACES AND ZEMANIAN EXTENSIONS OF S4.3 ⋮ Kripke semantics for modal systems including S4.3 ⋮ Pretabular extensions of Lewis S4 ⋮ An extension of S4 complete for the neighbourhood semantics but incomplete for the relational semantics ⋮ Hereditarily finitely axiomatizable extensions of logic S4 ⋮ The extensions of \(BAlt_3\) ⋮ STABLE MODAL LOGICS ⋮ The power of a propositional constant ⋮ On Finite Model Property for Admissible Rules ⋮ The decidability of normal K5 logics ⋮ Logics containing K4. Part II
This page was built for publication: That All Normal Extensions of S4.3 Have the Finite Model Property
