All Finitely Axiomatizable Normal Extensions of K4.3 are Decidable
From MaRDI portal
Recommendations
- Definability in Normal Extensions of S4
- Objetos K-finitos y decidibilidad
- Some normal extensions of K4.3
- Finite frames for \(\mathrm{K4.3} \times \mathrm{S5}\) are decidable
- An analog of Beth's theorem in normal extensions of the modal logic K4
- scientific article; zbMATH DE number 4217760
- Decidable Kripke models of intuitionistic theories
- SOME PROPERTIES OF FINITELY DECIDABLE VARIETIES
- Decidability of elementary theories of certain finitely defined algebras
Cited in
(12)- All finitely axiomatizable subframe logics containing the provability logic CSM₀ are decidable
- Some normal extensions of K4.3
- Classification of extensions of the modal logic S4
- About the temporal logic of the lexicographic products of unbounded dense linear orders: a new study of its computability
- The extensions of the modal logic K5
- Canonical formulas for K4. Part II: Cofinal subframe logics
- Canonical formulas \(\mathbf{wK4}\)
- Finite axiomatizability of quasi-normal modal logics
- Finite frames for \(\mathrm{K4.3} \times \mathrm{S5}\) are decidable
- Products of ‘transitive” modal logics
- FMP-ensuring logics, RA-ensuring logics and FA-ensuring logics in NExtK4.3
- All finitely axiomatizable tense logics of linear time flows are coNP-complete
This page was built for publication: All Finitely Axiomatizable Normal Extensions of K4.3 are Decidable
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4323828)
