That All Normal Extensions of S4.3 Have the Finite Model Property
From MaRDI portal
Cited in
(29)- A classification of modal logics
- 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₃
- What is the upper part of the lattice of bimodal logics?
- The structure of lattices of subframe logics
- Mathematical modal logic: A view of its evolution
- Some normal extensions of K4.3
- Almost structural completeness; an algebraic approach
- On linear Brouwerian logics
- What is the correct logic of necessity, actuality and apriority?
- About the temporal logic of the lexicographic products of unbounded dense linear orders: a new study of its computability
- Logics containing K4. Part II
- The decidability of normal K5 logics
- TYCHONOFF HED-SPACES AND ZEMANIAN EXTENSIONS OF S4.3
- On Finite Model Property for Admissible Rules
- Canonical formulas for K4. Part II: Cofinal subframe logics
- Canonical formulas \(\mathbf{wK4}\)
- Stable modal logics
- A normal modal calculus between T and S4 without the finite model property
- Noncompactness in propositional modal logic
- FMP-ensuring logics, RA-ensuring logics and FA-ensuring logics in NExtK4.3
- Modern faces of filtration
- Pretabular tense logics over \(\mathsf{S4}_t\)
- Non-axiomatizability of modal predicate logics of Dedekind-complete linear orders with constant domains
- The power of a propositional constant
- Complexity of admissible rules
This page was built for publication: That All Normal Extensions of S4.3 Have the Finite Model Property
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5533177)
