The modal logic of copy and remove

DOI10.1016/J.IC.2017.01.004MaRDI QIDQ2401633zbMATH OpenOpenAlexFDO

Authors Carlos Areces, Raul Fervari, François Schwarzentruber, Hans van Ditmarsch

Publication date 4 September 2017

Published in Information and Computation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.ic.2017.01.004

zbMATH Keywords

complexitydynamic epistemic logicexpressivitymodal logic

Mathematics Subject Classification ID

Logics of knowledge and belief (including belief change) (03B42) Modal logic (including the logic of norms) (03B45) Logic in computer science (03B70)

Recommendations

• Logics with Copy and Remove
• Copy and remove as dynamic operators
• Relation-changing modal operators
• The impact of including model update operators in modal logics
• Moving Arrows and Four Model Checking Results

Cites work

• Action emulation
• Arrow update logic
• Dynamic Epistemic Logic and Knowledge Puzzles
• FST TCS 2003: Foundations of Software Technology and Theoretical Computer Science
• Global and local graph modifiers
• Logics of public communications
• Logics with Copy and Remove
• Mathematical Foundations of Computer Science 2003
• Mechanizing Mathematical Reasoning
• Modal logic
• Moving Arrows and Four Model Checking Results
• Public announcements, public assignments and the complexity of their logic
• Relation-changing modal operators
• Simulation and Information: Quantifying over Epistemic Events
• Swap logic
• Tableau methods for modal and temporal logics

Cited in

(6)

• Reverse public announcement operators on expanded models
• Logics with Copy and Remove
• THE MODAL LOGIC OF STEPWISE REMOVAL
• Losing connection: the modal logic of definable link deletion
• Copy and remove as dynamic operators
• To be announced

This page was built for publication: The modal logic of copy and remove

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