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
Swap logic, Logic Journal of IGPL, vol.22, issue.2, pp.309-332, 2014. ,
DOI : 10.1093/jigpal/jzt030
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
Modal Logic, 2001. ,
DOI : 10.1017/CBO9781107050884
URL : https://hal.archives-ouvertes.fr/inria-00100502
Model Theory, Studies in Logic and the Foundations of Mathematics, 1973. ,
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
Connectivity games over dynamic networks, Theoretical Computer Science, vol.498, pp.46-65, 2013. ,
ARROW UPDATE LOGIC, The Review of Symbolic Logic, vol.14, issue.04, 2011. ,
DOI : 10.1007/s11229-008-9395-6
Model Checking and Satisfiability for Sabotage Modal Logic, FSTTCS 2003, pp.302-313, 2003. ,
DOI : 10.1007/978-3-540-24597-1_26
Solving the Sabotage Game Is PSPACE-Hard, 2003. ,
DOI : 10.1007/978-3-540-45138-9_47
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
Modal Logic and Classical Logic. Monographs in Philosophical Logic and Formal Linguistics, Bibliopolis, 1983. ,
An Essay on Sabotage and Obstruction, Mechanizing Mathematical Reasoning, pp.268-276, 2005. ,
DOI : 10.1007/978-3-540-32254-2_16
Logical Dynamics of Information and Interaction, 2011. ,
DOI : 10.1017/CBO9780511974533
Dynamic logic of preference upgrade, Journal of Applied Non-Classical Logics, vol.6, issue.3, 2007. ,
DOI : 10.1007/BF00248150
Dynamic Epistemic Logic, volume 337 of Synthese Library Series, 2007. ,