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

complexity and decidabilitydynamic logicshybrid logiclogics 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

• A Hybrid Public Announcement Logic with Distributed Knowledge
• Changing a Semantics: Opportunism or Courage?
• Expressive Power and Decidability for Memory Logics
• 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?)
• 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

(10)

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

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)