THE MODAL LOGIC OF STEPWISE REMOVAL

DOI10.1017/S1755020320000258MaRDI QIDQ5065135zbMATH OpenFDO

Authors Krzysztof Mierzewski, Francesca Zaffora Blando, Johan van Benthem

Publication date 18 March 2022

Published in The Review of Symbolic Logic (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/2103.05117

zbMATH Keywords

hybrid logicdynamic logicscomplexity and decidabilitylogics for graph games

Mathematics Subject Classification ID

Logics of knowledge and belief (including belief change) (03B42) Modal logic (including the logic of norms) (03B45)

Recommendations

• The modal logic of copy and remove
• Copy and remove as dynamic operators
• Logics with Copy and Remove
• Losing connection: the modal logic of definable link deletion
• Relation-changing modal operators

Cites work

• scientific article; zbMATH DE number 3560737 (Why is no real title available?)
• scientific article; zbMATH DE number 1254648 (Why is no real title available?)
• scientific article; zbMATH DE number 976409 (Why is no real title available?)
• A Hybrid Public Announcement Logic with Distributed Knowledge
• Changing a Semantics: Opportunism or Courage?
• Expressive Power and Decidability for Memory Logics
• Logical dynamics of information and interaction
• Losing connection: the modal logic of definable link deletion
• Mathematical Foundations of Computer Science 2003
• Mechanizing Mathematical Reasoning
• Merging frameworks for interaction
• Modal logic
• Modal logics of sabotage revisited
• Normal monomodal logics can simulate all others
• Relation-changing modal operators

Cited in

(8)

• Losing connection: the modal logic of definable link deletion
• To be announced
• A modal logic for supervised learning
• Hybrid logic of the hide and seek game
• INTERLEAVING LOGIC AND COUNTING
• The Modal Logic of Stepwise Removal
• Logics with Copy and Remove
• Axiomatization of hybrid logic of link variations

This page was built for publication: THE MODAL LOGIC OF STEPWISE REMOVAL

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