C. Areces, R. Fervari, and G. Hoffmann, Moving Arrows and Four Model Checking Results, Logic, Language, Information and Computation, pp.145-153, 2012.
DOI : 10.1007/978-3-642-32621-9_11

C. Areces, R. Fervari, and G. Hoffmann, Swap logic, Logic Journal of IGPL, vol.22, issue.2, pp.309-332, 2014.
DOI : 10.1093/jigpal/jzt030

G. Aucher, P. Balbiani, L. Fariñas-del-cerro, and A. Herzig, Global and Local Graph Modifiers, Electronic Notes in Theoretical Computer Science, vol.231, pp.293-307, 2009.
DOI : 10.1016/j.entcs.2009.02.042

URL : https://hal.archives-ouvertes.fr/inria-00556034

P. Blackburn, M. De-rijke, and Y. Venema, Modal Logic, 2001.
DOI : 10.1017/CBO9781107050884

URL : https://hal.archives-ouvertes.fr/inria-00100502

C. C. Chang and H. J. Keisler, Model Theory, Studies in Logic and the Foundations of Mathematics, 1973.

N. Gierasimczuk, L. Kurzen, and F. Velázquez-quesada, Learning and Teaching as a Game: A Sabotage Approach, Proceedings of LORI-2, number 5834 in LNAI, 2009.
DOI : 10.1007/978-3-642-04893-7_10

S. Gruener, F. Radmacher, and W. Thomas, Connectivity games over dynamic networks, Theoretical Computer Science, vol.498, pp.46-65, 2013.

B. Kooi and B. Renne, ARROW UPDATE LOGIC, The Review of Symbolic Logic, vol.14, issue.04, 2011.
DOI : 10.1007/s11229-008-9395-6

C. Löding and P. Rohde, Model Checking and Satisfiability for Sabotage Modal Logic, FSTTCS 2003, pp.302-313, 2003.
DOI : 10.1007/978-3-540-24597-1_26

C. Löding and P. Rohde, Solving the Sabotage Game Is PSPACE-Hard, 2003.
DOI : 10.1007/978-3-540-45138-9_47

F. Radmacher and W. Thomas, A Game Theoretic Approach to the Analysis of Dynamic Networks, Electronic Notes in Theoretical Computer Science, vol.200, issue.2, pp.21-37, 2008.
DOI : 10.1016/j.entcs.2008.02.010

J. Van-benthem, Modal Logic and Classical Logic. Monographs in Philosophical Logic and Formal Linguistics, Bibliopolis, 1983.

J. Van-benthem, An Essay on Sabotage and Obstruction, Mechanizing Mathematical Reasoning, pp.268-276, 2005.
DOI : 10.1007/978-3-540-32254-2_16

J. Van-benthem, Logical Dynamics of Information and Interaction, 2011.
DOI : 10.1017/CBO9780511974533

J. Van-benthem and F. Liu, Dynamic logic of preference upgrade, Journal of Applied Non-Classical Logics, vol.6, issue.3, 2007.
DOI : 10.1007/BF00248150

H. Van-ditmarsch, B. Kooi, and W. Van-der-hoek, Dynamic Epistemic Logic, volume 337 of Synthese Library Series, 2007.