Sabotage Modal Logic: Some Model and Proof Theoretic Aspects

  • Guillaume Aucher
  • Johan van Benthem
  • Davide Grossi
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 9394)


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.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Areces, C., Fervari, R., Hoffmann, G.: Moving arrows and four model checking results. In: Ong, L., de Queiroz, R. (eds.) WoLLIC 2012. LNCS, vol. 7456, pp. 142–153. Springer, Heidelberg (2012)CrossRefGoogle Scholar
  2. 2.
    Areces, C., Fervari, R., Hoffmann, G.: Swap logic. Logic Journal of the IGPL 22(2), 309–332 (2014)MathSciNetCrossRefzbMATHGoogle Scholar
  3. 3.
    Aucher, G., Balbiani, P., Fariñas del Cerro, L., Herzig, A.: Global and local graph modifiers. Electronic Notes in Theoretical Computer Science 231, 293–307 (2009)MathSciNetCrossRefGoogle Scholar
  4. 4.
    Blackburn, P., de Rijke, M., Venema, Y.: Modal Logic. Cambridge University Press, Cambridge (2001)CrossRefzbMATHGoogle Scholar
  5. 5.
    van Benthem, J.: Modal Logic and Classical Logic. Monographs in Philosophical Logic and Formal Linguistics. Bibliopolis (1983)Google Scholar
  6. 6.
    van Benthem, J.: An essay on sabotage and obstruction. In: Hutter, D., Stephan, W. (eds.) Mechanizing Mathematical Reasoning. LNCS (LNAI), vol. 2605, pp. 268–276. Springer, Heidelberg (2005)CrossRefGoogle Scholar
  7. 7.
    van Benthem, J.: Logical Dynamics of Information and Interaction. Cambridge University Press (2011)Google Scholar
  8. 8.
    van Benthem, J., Liu, F.: Dynamic logic of preference upgrade. Journal of Applied Non-Classical Logic 17(2) (2007)Google Scholar
  9. 9.
    Chang, C.C., Keisler, H.J.: Model Theory. Studies in Logic and the Foundations of Mathematics. North-Holland (1973)Google Scholar
  10. 10.
    van Ditmarsch, H., Kooi, B., van der Hoek, W.: Dynamic Epistemic Logic. Synthese Library Series, vol. 337. Springer (2007)Google Scholar
  11. 11.
    Gierasimczuk, N., Kurzen, L., Velázquez-Quesada, F.R.: Learning and teaching as a game: a sabotage approach. In: He, X., Horty, J., Pacuit, E. (eds.) LORI 2009. LNCS (LNAI), vol. 5834, pp. 119–132. Springer, Heidelberg (2009)CrossRefGoogle Scholar
  12. 12.
    Gruener, S., Radmacher, F., Thomas, W.: Connectivity games over dynamic networks. Theoretical Computer Science 498, 46–65 (2013)MathSciNetCrossRefzbMATHGoogle Scholar
  13. 13.
    Kooi, B., Renne, B.: Arrow update logic. Review of Symbolic Logic 4(4) (2011)Google Scholar
  14. 14.
    Löding, C., Rohde, P.: Solving the sabotage game is PSPACE-hard. Technical report, Department of Computer Science RWTH Aachen (2003)Google Scholar
  15. 15.
    Löding, C., Rohde, P.: Model checking and satisfiability for sabotage modal logic. In: Pandya, P.K., Radhakrishnan, J. (eds.) FSTTCS 2003. LNCS, vol. 2914, pp. 302–313. Springer, Heidelberg (2003)CrossRefGoogle Scholar
  16. 16.
    Radmacher, F., Thomas, W.: A game theoretic approach to the analysis of dynamic networks. Electronic Notes in Theoretical Computer Science 200(2), 21–37 (2008)CrossRefzbMATHGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2015

Authors and Affiliations

  • Guillaume Aucher
    • 1
  • Johan van Benthem
    • 2
    • 3
    • 4
  • Davide Grossi
    • 5
  1. 1.University of Rennes 1 – INRIARennesFrance
  2. 2.University of AmsterdamAmsterdamThe Netherlands
  3. 3.Stanford UniversityStanfordUSA
  4. 4.Tsinghua UniversityBeijingChina
  5. 5.University of LiverpoolLiverpoolUK

Personalised recommendations