G. Aucher, DEL-sequents for progression, Journal of Applied Non-Classical Logics, vol.36, issue.6, 2011.
DOI : 10.3166/jancl.21.289-321

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

. Balbiani, Tableaux for Public Announcement Logic, Journal of Logic and Computation, vol.20, issue.1, pp.55-76, 2010.
DOI : 10.1093/logcom/exn060

URL : http://logcom.oxfordjournals.org/cgi/content/short/20/1/55

. Baltag, Algebra and Sequent Calculus for Epistemic Actions, Proceedings of Workshop on Logic and Communication in Multi-Agent Systems (LCMAS'04), pp.60-78, 2004.
DOI : 10.1016/j.entcs.2004.11.012

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

. Baltag, The Logic of Public Announcements, Common Knowledge, and Private Suspicions, Proceedings of the 7th conference on theoretical aspects of rationality and knowledge (TARK98), pp.43-56, 1998.
DOI : 10.1007/978-3-319-20451-2_38

. Baltag, The Logic of Public Announcements, Common Knowledge, and Private Suspicions, 1999.
DOI : 10.1007/978-3-319-20451-2_38

P. Boas, The convenience of tilings, Complexity, Logic, and Recursion Theory, pp.331-363, 1997.

M. De-boer, KE tableaux for public anouncement logic, Proceedings of Formal Approaches to Multi-Agent Systems Workshop (FAMAS 07), 2007.

. Gasquet, LoTREC: Logical Tableaux Research Engineering Companion, International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, pp.318-322, 2005.
DOI : 10.1007/11554554_25

J. U. Hansen, Terminating Tableaux for Dynamic Epistemic Logics, Electronic Notes in Theoretical Computer Science, vol.262, pp.141-156, 2010.
DOI : 10.1016/j.entcs.2010.04.011

URL : http://doi.org/10.1016/j.entcs.2010.04.011

C. Lutz, H. Nakashima, M. P. Wellman, G. Weiss, and P. Stone, Complexity and succinctness of public announcement logic, Proceedings of the fifth international joint conference on Autonomous agents and multiagent systems , AAMAS '06, pp.137-143, 2006.
DOI : 10.1145/1160633.1160657

D. Van, Dynamic Epistemic Logic, volume 337 of Synthese library, 2007.