Elementary modal logics over transitive structures

DOI10.4230/LIPICS.CSL.2013.563MaRDI QIDQ2958545zbMATH OpenOpenAlexFDO

Authors Jakub Michaliszyn, Jan Otop

Publication date 2 February 2017

Full work available at URL https://doi.org/10.4230/LIPIcs.CSL.2013.563

zbMATH Keywords

decidabilityelementary modal logicsmodal logictransitive frames

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Modal logic (including the logic of norms) (03B45) Analysis of algorithms and problem complexity (68Q25)

Recommendations

• Decidable elementary modal logics
• On the decidability of elementary modal logics
• Satisfiability versus Finite Satisfiability in Elementary Modal Logics
• Modal logics definable by universal three-variable formulas
• scientific article; zbMATH DE number 6302919

Cited in

(10)

• Modal logics definable by universal three-variable formulas
• Decidable elementary modal logics
• Undecidability of the transitive graded modal logic with converse
• Idempotent Transductions for Modal Logics
• Satisfiability vs. finite satisfiability in elementary modal logics
• Modal Logics that Bound the Circumference of Transitive Frames
• Modal logics with transitive closure: completeness, decidability, filtration
• On the decidability of elementary modal logics
• Completing the Picture: Complexity of Graded Modal Logics with Converse
• On the modal definability of simulability by finite transitive models

This page was built for publication: Elementary modal logics over transitive structures

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