Sabotage Modal Logic: Some Model and Proof Theoretic Aspects
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.
- 5.van Benthem, J.: Modal Logic and Classical Logic. Monographs in Philosophical Logic and Formal Linguistics. Bibliopolis (1983)Google Scholar
- 7.van Benthem, J.: Logical Dynamics of Information and Interaction. Cambridge University Press (2011)Google Scholar
- 8.van Benthem, J., Liu, F.: Dynamic logic of preference upgrade. Journal of Applied Non-Classical Logic 17(2) (2007)Google Scholar
- 9.Chang, C.C., Keisler, H.J.: Model Theory. Studies in Logic and the Foundations of Mathematics. North-Holland (1973)Google Scholar
- 10.van Ditmarsch, H., Kooi, B., van der Hoek, W.: Dynamic Epistemic Logic. Synthese Library Series, vol. 337. Springer (2007)Google Scholar
- 13.Kooi, B., Renne, B.: Arrow update logic. Review of Symbolic Logic 4(4) (2011)Google Scholar
- 14.Löding, C., Rohde, P.: Solving the sabotage game is PSPACE-hard. Technical report, Department of Computer Science RWTH Aachen (2003)Google Scholar