Tableaux for relation-changing modal logics

DOI10.1007/978-3-642-40885-4_19MaRDI QIDQ2849494zbMATH OpenOpenAlexFDO

Authors Carlos Areces, Raul Fervari, Guillaume Hoffmann

Publication date 20 September 2013

Published in Frontiers of Combining Systems (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-40885-4_19

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Modal logic (including the logic of norms) (03B45)

Recommendations

• Relation-changing modal operators
• Satisfiability for relation-changing logics
• Relation-changing logics as fragments of hybrid logics
• Undecidability of relation-changing modal logics
• Moving Arrows and Four Model Checking Results

Cited in

(12)

• Undecidability of relation-changing modal logics
• Recapturing dynamic logic of relation changers via bounded morphisms
• Tableaux for some modal-tense logics Graham Priest's fashion
• Tableau methods for modal and temporal logics
• Tableaux for Reasoning about Atomic Updates
• A general framework for dynamic epistemic logic: towards canonical correspondences
• Satisfiability for relation-changing logics
• Relation-changing modal operators
• scientific article; zbMATH DE number 3997757 (Why is no real title available?)
• Relation-changing logics as fragments of hybrid logics
• Swap logic
• Graded relation updates in modal logic

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

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