All Finitely Axiomatizable Normal Extensions of K4.3 are Decidable
From MaRDI portal
Publication:4323828
DOI10.1002/malq.19950410103zbMath0818.03008OpenAlexW2066692146MaRDI QIDQ4323828
A. A. Alekseev, Michael Zakharyashchev
Publication date: 20 February 1995
Published in: Mathematical Logic Quarterly (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1002/malq.19950410103
Modal logic (including the logic of norms) (03B45) Decidability of theories and sets of sentences (03B25)
Related Items
FMP-ensuring logics, RA-ensuring logics and FA-ensuring logics in NExtK4.3, About the Temporal Logic of the Lexicographic Products of Unbounded Dense Linear Orders: A New Study of Its Computability, CANONICAL FORMULAS FOR wK4, Products of ‘transitive” modal logics, All finitely axiomatizable tense logics of linear time flows are coNP-complete
