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, Tableaux for Relation-Changing Modal Logics, Proceedings of the 9th International Symposium on Frontiers of Combining Systems (FroCoS'13), pp.263-278, 2013.
DOI : 10.1007/978-3-642-40885-4_19

C. Areces, R. Fervari, and G. Hoffmann, Swap logic, Logic Journal of IGPL, vol.17, issue.2, pp.309-332, 2014.
DOI : 10.2307/2266241

C. Areces, R. Fervari, and G. Hoffmann, Relation-changing modal operators, Logic Journal of the IGPL, 2015.

C. Areces and B. Cate, Hybrid logics, Handbook of Modal Logic, pp.821-868, 2006.
URL : https://hal.archives-ouvertes.fr/inria-00000307

C. Areces, H. Van-ditmarsch, R. Fervari, and F. Schwarzentruber, Logics with Copy and Remove, Logic, Language, Information, and Computation: 21st International Workshop Proceedings, pp.51-65, 2014.
DOI : 10.1007/978-3-662-44145-9_4

URL : https://hal.archives-ouvertes.fr/hal-01273560

G. Aucher, Displaying updates in logic, Journal of Logic and Computation, vol.8, issue.6, pp.1865-1912, 2016.
DOI : 10.1093/logcom/ext035

URL : https://hal.archives-ouvertes.fr/hal-01476234

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

G. Aucher, J. Van-benthem, and D. Grossi, Sabotage Modal Logic: Some Model and Proof Theoretic Aspects, Proceedings of LORI'15, 2015.
DOI : 10.1016/j.entcs.2008.02.010

URL : https://hal.archives-ouvertes.fr/hal-01194426

A. Baltag and L. Moss, Logics for Epistemic Programs, Synthese, vol.139, issue.2, pp.165-224, 2004.
DOI : 10.1023/B:SYNT.0000024912.56773.5e

A. Baltag, L. Moss, and L. Solecki, The Logic of Public Announcements, Common Knowledge, and Private Suspicions, Proceedings of the 7th Conference on Theoretical Aspects of Rationality and Knowledge (TARK-98), pp.43-56, 1998.
DOI : 10.1016/0304-3975(81)90019-0

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

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

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

Z. Christoff, Dynamic Logics of Networks, 2016.

G. De-lavalette, Changing Modalities, Journal of Logic and Computation, vol.14, issue.2, pp.251-275, 2004.
DOI : 10.1093/logcom/14.2.251

M. De-rijke, A note on graded modal logic, Studia Logica, vol.64, issue.2, pp.271-283, 2000.
DOI : 10.1023/A:1005245900406

P. Duchet and H. Meyniel, Kernels in directed graphs: a poison game, Discrete Mathematics, vol.115, issue.1-3, pp.273-276, 1993.
DOI : 10.1016/0012-365X(93)90496-G

P. M. Dung, On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and n-person games, Artificial Intelligence, vol.77, issue.2, pp.321-358, 1995.
DOI : 10.1016/0004-3702(94)00041-X

R. Fervari, Relation-Changing Modal Operators, 2013.

D. Gabbay, Labelled Deductive Systems, 1996.
DOI : 10.1016/S1874-5075(03)80014-1

D. Gabbay, Reactive Kripke Semantics, 2013.
DOI : 10.1007/978-3-642-41389-6

D. Gabbay and D. Grossi, When are Two Arguments the Same? Equivalence in Abstract Argumentation, Johan van Benthem on Logic and Information Dynamics, 2014.
DOI : 10.1007/978-3-319-06025-5_25

D. Gale and F. M. Stewart, 13. Infinite Games with Perfect Information, Contributions to the Theory of Games II, pp.245-266, 1953.
DOI : 10.1515/9781400881970-014

URL : https://hal.archives-ouvertes.fr/in2p3-00013000

N. Gierasimczuk, L. Kurzen, and F. Velázquez-quesada, Learning and Teaching as a Game: A Sabotage Approach, Proceedings of LORI'09, 2009.
DOI : 10.1016/0304-3975(82)90125-6

G. Aucher, J. Van-benthem, and D. Grossi,

P. Girard, J. Seligman, F. Liu, T. Bolander, T. Braüner et al., General dynamic dynamic logic Advances in Modal Logic 9, papers from the ninth conference on Advances in Modal Logic, pp.22-25, 2012.

D. Grossi, On the logic of argumentation theory, Proceedings of the 9th International Conference on Autonomous Agents and Multiagent Systems, pp.409-416, 2010.

D. Grossi, Argumentation theory in the view of modal logic, Post-proceedings of the 7th International Workshop on Argumentation in Multi-Agent Systems, number 6614 in LNAI, pp.190-208, 2011.

D. Grossi, Fixpoints and iterated updates in abstract argumentation, Proceedings of the 13th International Conference on Principles of Knowledge Representation and Reasoning, p.2012, 2012.

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

W. Holliday, T. Icard, and T. Hoshi, Schematic Validity in Dynamic Epistemic Logic: Decidability, Proceedings of the Third International Workshop on Logic, Rationality and Interaction (LORI'11), volume 6953 of LNAI, pp.87-96, 2011.
DOI : 10.1007/BF02115610

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

F. Liu, J. Seligman, and P. Girard, Logical dynamics of belief change in the community, Synthese, vol.73, issue.2, pp.2403-2431, 2014.
DOI : 10.1016/j.ic.2006.04.006

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

C. Mierzewski and F. Z. Blando, The modal logic(s) of poison games

J. Miller and L. Moss, The Undecidability of Iterated Modal Relativization, Studia Logica, vol.82, issue.4, pp.373-407, 2005.
DOI : 10.1007/978-3-642-59207-2

S. Modgil and M. Caminada, Proof Theories and Algorithms for Abstract Argumentation Frameworks, Argumentation in Artificial Intelligence, pp.105-132, 2009.
DOI : 10.1007/978-0-387-98197-0_6

S. Negri, Proof Analysis in Modal Logic, Journal of Philosophical Logic, vol.12, issue.5-6, pp.507-544, 2005.
DOI : 10.1007/3-540-51237-3_20

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

P. Rohde, On the mu-calculus augmented with sabotage FOS- SACS 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, Foundations of Software Science and Computation Structures, 7th International Conference Proceedings, pp.142-156, 2004.

U. Sattler and M. Vardi, The hybrid mu-calculus, Proceedings of IJCAR 2001, pp.76-91, 2001.

J. Seligman, F. Liu, and P. Girard, Facebook and epistemic logic of friendship, Proceedings of the 14th Conference on Theoretical Aspects of Rationality and Knowledge (TARK'13), pp.229-238, 2013.

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, Modal Logic for Open Minds, 2010.

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

J. Van-benthem, Logic in Games, 2013.

J. Van-benthem, Oscillation, logic and dynamical systems, The Facts Matter. Essays on Logic and Cognition in Honour of Rineke Verbrugge. College Publications, 2015.

J. Van-benthem, J. Gerbrandy, H. Tomohiro, and E. Pacuit, Merging Frameworks for Interaction, Journal of Philosophical Logic, vol.17, issue.2, pp.491-526, 2009.
DOI : 10.1007/978-1-4020-5839-4

J. Van-benthem and D. Ikegami, Modal fixed-point logic and changing models In Pillars of Computer Science, Essays Dedicated to Boris (Boaz) Trakhtenbrot on the Occasion of His 85th Birthday, LNCS, vol.4800, pp.146-165, 2008.

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

J. Van-benthem, J. Van-eijck, and B. Kooi, Logics of communication and change. Information and Computation, pp.1620-1662, 2006.

F. Velázquez-quesada, Small Steps in the Dynamics of Information, 2011.

G. Vreeswijk and H. Prakken, Credulous and Sceptical Argument Games for Preferred Semantics, Proceedings of the 7th European Workshop on Logic for Artificial Intelligence (JELIA'00), LNAI, pp.239-253, 2000.
DOI : 10.1007/3-540-40006-0_17

, Proceedings of the 5th Congress Mathematicians, pp.501-504, 1913.