Hybrid Sabotage Modal Logic in Perspective
Johan van Benthem‚ Lei Li‚ Chenwei Shi and Haoxuan Yin
Abstract
We introduce a hybrid modal logic HSML for reasoning about sabotage-style graph games, and provide a complete axiomatization. We extend the analysis to protocol models that restrict available edge deletions and clarify connections with logics of point deletions in graphs.
Address
Cham
Book Title
Graph Games and Logic Design: Recent Developments and Further Directions
Editor
van Benthem‚ Johan and Liu‚ Fenrong
ISBN
978−3−031−91361−7
Pages
103–129
Publisher
Springer Nature Switzerland
Year
2026