, Dynamic formal epistemology, chapter Exploring the power of converse events, 2011.
, 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 TARK '98 M. de Rijke, and Y. Venema. Modal Logic, pp.43-56, 1998.
DOI : 10.1007/978-3-319-20451-2_38
, Reasoning about knowledge Reasoning about information change, Gerbrandy and Groeneveld, pp.147-169, 1995.
, Complete Axiomatizations for Reasoning about Knowledge and Time, SIAM Journal on Computing, vol.33, issue.3, pp.674-703, 2004.
DOI : 10.1137/S0097539797320906
, A uniform logic of information dynamics, Proceedings of Advances in Modal Logic 2012, pp.348-367, 2012.
, Dynamic epistemic logic with branching temporal structures, Synthese, vol.151, issue.2, pp.259-281, 2009.
DOI : 10.1007/s11229-009-9552-6
, Distributed processes and the logic of knowledge, Proceedings of Conference on Logic of Programs, pp.256-268, 1985.
DOI : 10.1007/3-540-15648-8_21
, Logics of public communications, Proceedings of the 4th International Symposium on Methodologies for Intelligent Systems, pp.201-216, 1989.
DOI : 10.1007/s11229-007-9168-7
, Diversity of Logical Agents in Games, Philosophia Scientae, vol.8, issue.8-2, pp.163-178, 2004.
DOI : 10.4000/philosophiascientiae.571
, Merging frameworks for interaction, Proceedings of the 11th conference on Theoretical aspects of rationality and knowledge , TARK '07, pp.491-526, 2009.
DOI : 10.1145/1324249.1324262
, Dynamic Epistemic Logic. (Synthese Library), 2007.
URL : https://hal.archives-ouvertes.fr/hal-01261492
, Hidden protocols, Proceedings of the 13th Conference on Theoretical Aspects of Rationality and Knowledge, TARK XIII, pp.65-74, 2011.
URL : https://hal.archives-ouvertes.fr/hal-01273564
, On axiomatizations of public announcement logic. Synthese, 2013. Online first, pp.11229-11241