All Finitely Axiomatizable Normal Extensions of K4.3 are Decidable

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

zbMATH Keywords

decidabilityfinite model propertyKripke framenormal modal logics

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Decidability of theories and sets of sentences (03B25)

Related Items (5)

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

This page was built for publication: All Finitely Axiomatizable Normal Extensions of K4.3 are Decidable