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
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. De-lima, Tableaux for Public Announcement Logic, Journal of Logic and Computation, vol.20, issue.1, pp.55-76, 2010.
DOI : 10.1093/logcom/exn060

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, 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

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, 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

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

F. D. 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. 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

P. Maffezioli and S. Negri, A gentzen-style analysis of public announcement logic, Proceedings of the International Workshop on Logic and Philosophy of Knowledge, Communication and Action, pp.293-313, 2010.

F. Schwarzentruber, LotrecScheme, Electronic Notes in Theoretical Computer Science, vol.278, pp.187-199, 2011.
DOI : 10.1016/j.entcs.2011.10.015