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
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
Swap logic, Logic Journal of IGPL, vol.17, issue.2, pp.309-332, 2014. ,
DOI : 10.2307/2266241
Relation-changing modal operators, Logic Journal of the IGPL, 2015. ,
Hybrid logics, Handbook of Modal Logic, pp.821-868, 2006. ,
URL : https://hal.archives-ouvertes.fr/inria-00000307
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
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
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
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
Logics for Epistemic Programs, Synthese, vol.139, issue.2, pp.165-224, 2004. ,
DOI : 10.1023/B:SYNT.0000024912.56773.5e
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
Modal Logic, 2001. ,
DOI : 10.1017/CBO9781107050884
URL : https://hal.archives-ouvertes.fr/inria-00100503
Model Theory, Studies in Logic and the Foundations of Mathematics, 1973. ,
Dynamic Logics of Networks, 2016. ,
Changing Modalities, Journal of Logic and Computation, vol.14, issue.2, pp.251-275, 2004. ,
DOI : 10.1093/logcom/14.2.251
A note on graded modal logic, Studia Logica, vol.64, issue.2, pp.271-283, 2000. ,
DOI : 10.1023/A:1005245900406
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
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
Relation-Changing Modal Operators, 2013. ,
Labelled Deductive Systems, 1996. ,
DOI : 10.1016/S1874-5075(03)80014-1
Reactive Kripke Semantics, 2013. ,
DOI : 10.1007/978-3-642-41389-6
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
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
Learning and Teaching as a Game: A Sabotage Approach, Proceedings of LORI'09, 2009. ,
DOI : 10.1016/0304-3975(82)90125-6
,
General dynamic dynamic logic Advances in Modal Logic 9, papers from the ninth conference on Advances in Modal Logic, pp.22-25, 2012. ,
On the logic of argumentation theory, Proceedings of the 9th International Conference on Autonomous Agents and Multiagent Systems, pp.409-416, 2010. ,
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. ,
Fixpoints and iterated updates in abstract argumentation, Proceedings of the 13th International Conference on Principles of Knowledge Representation and Reasoning, p.2012, 2012. ,
Connectivity games over dynamic networks, Theoretical Computer Science, vol.498, pp.46-65, 2013. ,
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
ARROW UPDATE LOGIC, The Review of Symbolic Logic, vol.14, issue.04, 2011. ,
DOI : 10.1007/s11229-008-9395-6
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
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
The modal logic(s) of poison games ,
The Undecidability of Iterated Modal Relativization, Studia Logica, vol.82, issue.4, pp.373-407, 2005. ,
DOI : 10.1007/978-3-642-59207-2
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
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
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
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. ,
The hybrid mu-calculus, Proceedings of IJCAR 2001, pp.76-91, 2001. ,
Facebook and epistemic logic of friendship, Proceedings of the 14th Conference on Theoretical Aspects of Rationality and Knowledge (TARK'13), pp.229-238, 2013. ,
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
Modal Logic for Open Minds, 2010. ,
Logical Dynamics of Information and Interaction, 2011. ,
DOI : 10.1017/CBO9780511974533
Logic in Games, 2013. ,
Oscillation, logic and dynamical systems, The Facts Matter. Essays on Logic and Cognition in Honour of Rineke Verbrugge. College Publications, 2015. ,
Merging Frameworks for Interaction, Journal of Philosophical Logic, vol.17, issue.2, pp.491-526, 2009. ,
DOI : 10.1007/978-1-4020-5839-4
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. ,
Dynamic logic of preference upgrade, Journal of Applied Non-Classical Logics, vol.6, issue.3, 2007. ,
DOI : 10.1007/BF00248150
Logics of communication and change. Information and Computation, pp.1620-1662, 2006. ,
Small Steps in the Dynamics of Information, 2011. ,
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.