Abstract | ||
---|---|---|
We investigate some model and proof theoretic aspects of sabotage modal logic. The first contribution is to prove a characterization theorem for sabotage modal logic as the fragment of first-order logic which is invariant with respect to a suitably defined notion of bisimulation (called sabotage bisimulation). The second contribution is to provide a sound and complete tableau method for sabotage modal logic. We also chart a number of open research questions concerning sabotage modal logic, aiming at integrating it within the current landscape of logics of model update. |
Year | DOI | Venue |
---|---|---|
2015 | 10.1007/978-3-662-48561-3_1 | Lecture Notes in Computer Science |
DocType | Volume | ISSN |
Conference | 9394 | 0302-9743 |
Citations | PageRank | References |
2 | 0.38 | 8 |
Authors | ||
3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Guillaume Aucher | 1 | 37 | 4.69 |
Johan van Benthem | 2 | 1181 | 107.83 |
Davide Grossi | 3 | 423 | 41.79 |