T. References?referencesågotnes and H. Van-ditmarsch, What will they say??public announcement games, Synthese, vol.179, pp.57-85, 2011.

G. Aucher, An Internal Version of Epistemic Logic, Studia Logica, vol.34, issue.2, pp.1-22, 2010.
DOI : 10.1007/s11225-010-9227-9
URL : https://hal.archives-ouvertes.fr/inria-00556030

G. Aucher, DEL-sequents for progression, Journal of Applied Non-Classical Logics, vol.36, issue.6, pp.3-4, 2011.
DOI : 10.3166/jancl.21.289-321
URL : https://hal.archives-ouvertes.fr/hal-00674150

G. Aucher, B. Maubert, and F. Schwarzentruber, Tableau Method and NEXPTIME-Completeness of DEL-Sequents, Electronic Notes in Theoretical Computer Science, vol.278, pp.17-30, 2011.
DOI : 10.1016/j.entcs.2011.10.003
URL : https://hal.archives-ouvertes.fr/inria-00627642

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 S. Solecki, The logic of public announcements, common knowledge and private suspicions (Tech, 1999.

A. Batlag, L. S. Moss, and S. Solecki, The logic of public announcements and common knowledge and private suspicions, TARK, pp.43-56, 1998.

T. Bolander and M. B. Andersen, Epistemic planning for singleand multi-agent systems, Journal of Applied Non-Classical Logics, vol.3, issue.3, pp.9-34, 2011.
DOI : 10.1016/0010-0277(83)90004-5

A. Cimatti, M. Pistore, and P. Traverso, Handbook of knowledge representation, 2008.

M. Ghallab, D. Nau, and P. Traverso, Automated planning: Theory & practice, 2004.

B. Löwe, E. Pacuit, and A. Witzel, DEL planning and some tractable cases, pp.179-192, 2011.

L. S. Moss, FINITE MODELS CONSTRUCTED FROM CANONICAL FORMULAS, Journal of Philosophical Logic, vol.34, issue.3, pp.605-640, 2007.
DOI : 10.1007/s10992-007-9052-4

J. Van-benthem, Dynamic logic for belief revision, Journal of Applied Non-Classical Logics, vol.147, issue.11, pp.129-155, 2007.
DOI : 10.1007/BF00248150

W. Van-der-hoek, M. H. Wooldridge, W. Van-der-hoek, and B. Kooi, Tractable multiagent planning for epistemic goals, Proceedings of the first international joint conference on Autonomous agents and multiagent systems part 3, AAMAS '02, pp.1167-1174, 2002.
DOI : 10.1145/545056.545095