Hybrid sabotage Modal Logic Johan van Benthem, Lei Li, Chenwei Shi, Haoxuan Yin Abstract: We introduce a new hybrid modal logic HSML for reason- ing about sabotage-style graph games with edge deletions, and provide a complete Hilbert-style axiomatization. We extend the completeness anal- ysis 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.