THE MODAL LOGIC OF STEPWISE REMOVAL

DOI10.1017/S1755020320000258MaRDI QIDQ5065135

Krzysztof Mierzewski, Francesca Zaffora Blando, J. F. A. K. 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

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

Related Items (3)

A modal logic for supervised learning ⋮ To be announced ⋮ INTERLEAVING LOGIC AND COUNTING

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Merging frameworks for interaction
• Logical Dynamics of Information and Interaction
• Changing a Semantics: Opportunism or Courage?
• Expressive Power and Decidability for Memory Logics
• Normal monomodal logics can simulate all others
• Modal logics of sabotage revisited
• Relation-changing modal operators: Fig. 1.
• A Hybrid Public Announcement Logic with Distributed Knowledge
• Losing connection: the modal logic of definable link deletion
• Mathematical Foundations of Computer Science 2003
• Mechanizing Mathematical Reasoning

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