Relation-changing logics as fragments of hybrid logics

MaRDI QIDQ5015266zbMATH OpenFDO

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

Publication date 7 December 2021

Full work available at URL https://arxiv.org/abs/1609.04086, http://eptcs.web.cse.unsw.edu.au/paper.cgi?GandALF2016.2

Mathematics Subject Classification ID

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

Recommendations

• Satisfiability for relation-changing logics
• Undecidability of relation-changing modal logics
• Relation-changing modal operators
• Tableaux for relation-changing modal logics
• Swap logic

Cites work

• Computer Science Logic
• Dynamic epistemic logic
• FST TCS 2003: Foundations of Software Technology and Theoretical Computer Science
• Handbook of modal logic
• HTab: a terminating tableaux system for hybrid logic
• scientific article; zbMATH DE number 1424043 (Why is no real title available?)
• Hybrid languages
• Learning and teaching as a game: A sabotage approach
• Logics with Copy and Remove
• Mechanizing Mathematical Reasoning
• Modal logic
• Moving Arrows and Four Model Checking Results
• Relation-changing modal operators
• Swap logic
• Tableaux for relation-changing modal logics
• Using the Universal Modality: Gains and Questions

Cited in

(9)

• Undecidability of relation-changing modal logics
• Recapturing dynamic logic of relation changers via bounded morphisms
• Constructive dynamic logic of relation changers
• Tableaux for relation-changing modal logics
• Satisfiability for relation-changing logics
• Relation-changing modal operators
• Swap logic
• To be announced
• Mechanizing bisimulation theorems for relation-changing logics in Coq

Describes a project that uses

Uses Software

• HTab

This page was built for publication: Relation-changing logics as fragments of hybrid logics

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