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]](https://eprints.illc.uva.nl/style/images/fileicons/text.png) |
Text
HSML_vBLSY.pdf Download (439kB) |
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.
| 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 Logic |
| 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 |
