Skip to Main content Skip to Navigation
Conference papers

Sabotage Modal Logic: Some Model and Proof Theoretic Aspects

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.
Complete list of metadata

Cited literature [16 references]  Display  Hide  Download
Contributor : Guillaume Aucher Connect in order to contact the contributor
Submitted on : Monday, September 7, 2015 - 8:25:41 AM
Last modification on : Thursday, February 25, 2021 - 9:46:04 AM
Long-term archiving on: : Tuesday, December 8, 2015 - 10:55:54 AM


Files produced by the author(s)


  • HAL Id : hal-01194426, version 1


Guillaume Aucher, Johan van Benthem, Davide Grossi. Sabotage Modal Logic: Some Model and Proof Theoretic Aspects. International Conference on Logic, Rationality and Interaction (LORI 2015), Oct 2015, Taipei, Taiwan. ⟨hal-01194426⟩



Les métriques sont temporairement indisponibles