Hybrid sabotage modal logic
| Authors |
|
|---|---|
| Publication date | 09-2023 |
| Journal | Journal of Logic and Computation |
| Volume | Issue number | 33 | 6 |
| Pages (from-to) | 1216-1242 |
| Number of pages | 27 |
| Organisations |
|
| 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. |
| Document type | Article |
| Language | English |
| Published at | https://doi.org/10.1093/LOGCOM/EXAC006 |
| Downloads |
exac006
(Final published version)
|
| Permalink to this page | |