Sabotage Modal Logic: Some Model and Proof Theoretic Aspects

Guillaume Aucher, Johan van Benthem, Davide Grossi. Sabotage Modal Logic: Some Model and Proof Theoretic Aspects. In Wiebe van der Hoek, Wesley H. Holliday, Wen-Fang Wang, editors, Logic, Rationality, and Interaction - 5th International Workshop, LORI 2015 Taipei, Taiwan, October 28-31, 2015, Proceedings. Volume 9394 of Lecture Notes in Computer Science, pages 1-13, Springer, 2015. [doi]

Abstract

Abstract is missing.