PP-2022-02: Hybrid sabotage Modal Logic

PP-2022-02: van Benthem, Johan and Li, Lei and Shi, Chenwei and Yin, Haoxuan (2022) Hybrid sabotage Modal Logic. [Pre-print] (In Press)

[thumbnail of HSML_vBLSY.pdf] Text

Download (439kB)


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.

Item Type: Pre-print
Report Nr: PP-2022-02
Series Name: Prepublication (PP) Series
Year: 2022
Uncontrolled Keywords: Modal logic, graph change, sabotage game, link deletion.
Subjects: Computation
Depositing User: Johan van Benthem
Date Deposited: 03 Feb 2022 21:52
Last Modified: 03 Feb 2022 21:52
URI: https://eprints.illc.uva.nl/id/eprint/1868

Actions (login required)

View Item View Item