Hybrid sabotage modal logic
Johan van Benthem‚ Lei Li‚ Chenwei Shi and Haoxuan Yin
Abstract
We introduce a new hybrid modal logic HSML for reasoning about sabotage-style graph games with edge deletions and provide a complete Hilbert-style axiomatization. We extend the completeness analysis to protocol models with restrictions on available edge deletions and clarify the connections between HSML-style logics of edge deletions and recent modal logics for stepwise point deletion from graphs.
ISSN
0955−792X
Journal
Journal of Logic and Computation
Month
03
Note
exac006
Year
2022