Hybrid sabotage modal logic
Johan van Benthem, Lei Li, Chenwei Shi, Haoxuan Yin · Journal of Logic and Computation · 2022
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.