Swap logic

DOI10.1093/JIGPAL/JZT030MaRDI QIDQ5176675zbMATH OpenOpenAlexFDO

Authors Carlos Areces, Raul Fervari, Guillaume Hoffmann

Publication date 27 February 2015

Published in Logic Journal of the IGPL (Search for Journal in Brave)

Full work available at URL http://hdl.handle.net/11086/20427

zbMATH Keywords

complexitydynamic logicsexpressivitymodal logic

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Moving Arrows and Four Model Checking Results
• Relation-changing modal operators
• Tableaux for relation-changing modal logics
• The impact of including model update operators in modal logics
• Relation-changing logics as fragments of hybrid logics

Cited in

(14)

• Introspection as an action in relational models
• Verification of dynamic bisimulation theorems in Coq
• Introducing fuzzy reactive graphs: a simple application on biology
• The modal logic of copy and remove
• Sabotage modal logic: some model and proof theoretic aspects
• Modal logic and invariance
• Satisfiability for relation-changing logics
• Relation-changing logics as fragments of hybrid logics
• The impact of including model update operators in modal logics
• Copy and remove as dynamic operators
• Relation-changing models meet paraconsistency
• Local fact change logic
• Solution complexity of local variants of sabotage game
• Graded relation updates in modal logic

This page was built for publication: Swap logic

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