Sabotage Modal Logic: Some Model and Proof Theoretic Aspects - Archive ouverte HAL Access content directly
Conference Papers Year :

Sabotage Modal Logic: Some Model and Proof Theoretic Aspects

(1, 2) , (3, 4) , (5)
1
2
3
4
5

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.
Fichier principal
Vignette du fichier
LORI2015Extended.pdf (381.27 Ko) Télécharger le fichier
Origin : Files produced by the author(s)
Loading...

Dates and versions

hal-01194426 , version 1 (07-09-2015)

Identifiers

  • HAL Id : hal-01194426 , version 1

Cite

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⟩
183 View
470 Download

Share

Gmail Facebook Twitter LinkedIn More