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 regression and epistemic planning, Journal of Applied Non-Classical Logics, vol.17, issue.4, 2012.
DOI : 10.1080/11663081.2012.736703
URL : https://hal.archives-ouvertes.fr/hal-00856471

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

P. Balbiani, H. Van-ditmarsch, A. Herzig, and T. Lima, 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

A. Baltag, B. Coecke, and M. Sadrzadeh, 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
URL : http://doi.org/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

A. Baltag, L. Moss, and S. Solecki, 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

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

R. Booth and A. Nittka, Reconstructing an Agent's Epistemic State from Observations about its Beliefs and Non-beliefs, Journal of Logic and Computation, vol.18, issue.5, pp.755-782, 2008.
DOI : 10.1093/logcom/exm091

V. Brusoni, L. Console, P. Terenziani, and D. T. Dupré, A spectrum of definitions for temporal model-based diagnosis, Artificial Intelligence, vol.102, issue.1, pp.39-79, 1998.
DOI : 10.1016/S0004-3702(98)00044-7

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

F. Dupin-de-saint-cyr and J. Lang, Belief extrapolation (or how to reason about observations and unpredicted change), Artificial Intelligence, vol.175, issue.2, pp.760-790, 2011.
DOI : 10.1016/j.artint.2010.11.002

R. Fagin, J. Halpern, Y. Moses, and M. Vardi, Reasoning about knowledge, 1995.

J. 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