Undecidability of relation-changing modal logics

DOI10.1007/978-3-319-73579-5_1MaRDI QIDQ1742616zbMATH OpenOpenAlexFDO

Authors Carlos Areces, Raul Fervari, Guillaume Hoffmann, Mauricio Martel

Publication date 12 April 2018

Full work available at URL https://doi.org/10.1007/978-3-319-73579-5_1

zbMATH Keywords

modal logicssatisfiabilityundecidabilitydynamic logics

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Decidability of theories and sets of sentences (03B25) Logic in computer science (03B70)

Recommendations

• Satisfiability for relation-changing logics
• Relation-changing logics as fragments of hybrid logics
• Relation-changing modal operators
• Tableaux for relation-changing modal logics
• A Universally Defined Undecidable Unimodal Logic

Cited in

(10)

• scientific article; zbMATH DE number 3861119 (Why is no real title available?)
• A Universally Defined Undecidable Unimodal Logic
• Relation-changing modal operators
• To be announced
• Tableaux for relation-changing modal logics
• Local fact change logic
• Undecidability of the Logic of Partial Quasiary Predicates
• Copy and remove as dynamic operators
• Relation-changing logics as fragments of hybrid logics
• Satisfiability for relation-changing logics

This page was built for publication: Undecidability of relation-changing modal logics

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