Decidability of some classes of modal logic

DOI10.1023/A:1016174510664MaRDI QIDQ1873248zbMATH OpenOpenAlexFDO

Authors Yanyan Li

Publication date 19 May 2003

Published in Lithuanian Mathematical Journal (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1023/a:1016174510664

zbMATH Keywords

modal logicdecidable classes

Mathematics Subject Classification ID

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

Recommendations

• On the decidability of elementary modal logics
• Decidable elementary modal logics
• Scientific article; zbMATH DE number 2105671
• Decidability by resolution for propositional modal logics
• Decidable and undecidable logics with a binary modality
• Decidability of order-based modal logics
• On the decidability of certain semi-lattice based modal logics
• scientific article; zbMATH DE number 5227710
• A general method for proving decidability of intuitionistic modal logics

Cited in

(22)

• Decidable Extensions of Hennessy-Milner Logic
• An incomplete decidable modal logic
• Decidability and complexity of the fragments of the modal logic of Allen's relations over the rationals
• The decidable normal modal logics are not recursively enumerable
• On the decidability of certain semi-lattice based modal logics
• From Wittgenstein’s N-operator to a New Notation for Some Decidable Modal Logics
• scientific article; zbMATH DE number 4085609 (Why is no real title available?)
• On temporal logic S4Dbr
• Decidable and Undecidable Problems for First-Order Definability and Modal Definability
• SAT-based decision procedures for classical modal logics
• One calculus of nonderivable formulas of propositional modal logic
• Two decidable classes of formulas of the modal logic S5
• Decidability of order-based modal logics
• Decidability of general extensional mereology
• Decidability for some justification logics with negative introspection
• scientific article; zbMATH DE number 4145872 (Why is no real title available?)
• Path calculus in the modal logic S4
• scientific article; zbMATH DE number 887303 (Why is no real title available?)
• On the decidability of open logic
• scientific article; zbMATH DE number 5046366 (Why is no real title available?)
• scientific article; zbMATH DE number 3847361 (Why is no real title available?)
• scientific article; zbMATH DE number 3918335 (Why is no real title available?)

This page was built for publication: Decidability of some classes of modal logic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1873248)