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.
Liste complète des métadonnées

Cited literature [16 references]  Display  Hide  Download

https://hal.inria.fr/hal-01194426
Contributor : Guillaume Aucher <>
Submitted on : Monday, September 7, 2015 - 8:25:41 AM
Last modification on : Wednesday, May 16, 2018 - 11:23:29 AM
Document(s) archivé(s) le : Tuesday, December 8, 2015 - 10:55:54 AM

File

LORI2015Extended.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-01194426, version 1

Citation

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⟩

Share

Metrics

Record views

258

Files downloads

346