Modal logics definable by universal three-variable formulas

DOI10.4230/LIPICS.FSTTCS.2011.264MaRDI QIDQ2911630zbMATH OpenOpenAlexFDO

Authors Emanuel Kieroński, Jakub Michaliszyn, Jan Otop

Publication date 31 August 2012

Full work available at URL https://doi.org/10.4230/LIPIcs.FSTTCS.2011.264

zbMATH Keywords

decidabilitymodal logic

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
• Satisfiability versus Finite Satisfiability in Elementary Modal Logics
• Elementary modal logics over transitive structures
• A Universally Defined Undecidable Unimodal Logic

Cited in

(7)

• Elementary modal logics over transitive structures
• scientific article; zbMATH DE number 3847361 (Why is no real title available?)
• The truth about algorithmic problems in correspondence theory
• On the decidability of elementary modal logics
• Satisfiability vs. finite satisfiability in elementary modal logics
• Characterization, definability and separation via saturated models
• scientific article; zbMATH DE number 5640556 (Why is no real title available?)

This page was built for publication: Modal logics definable by universal three-variable formulas

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