. Alchourrón, Abstract, The Journal of Symbolic Logic, vol.48, issue.02, pp.510-530, 1985.
DOI : 10.1080/00048408412341331

G. Aucher, A Combined System for Update Logic and Belief Revision, PRIMA, pp.1-17, 2004.
DOI : 10.1007/978-3-540-32128-6_1

URL : https://hal.archives-ouvertes.fr/inria-00537233

G. Aucher, Interpreting an action from what we perceive and what we expect, Journal of Applied Non-Classical Logics, vol.12, issue.4, pp.9-38, 2007.
DOI : 10.3166/jancl.17.9-38

URL : https://hal.archives-ouvertes.fr/inria-00556151

G. Aucher, BMS revisited, Proceedings of the 11th Conference on Theoretical Aspects of Rationality and Knowledge, TARK '09, pp.24-33, 2009.
DOI : 10.1145/1562814.1562822

URL : https://hal.archives-ouvertes.fr/inria-00556035

G. Aucher, Characterizing updates in dynamic epistemic logic, 2010.
URL : https://hal.archives-ouvertes.fr/inria-00556157

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

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

. Baltag, Algebra and Sequent Calculus for Epistemic Actions, Electronic Notes in Theoretical Computer Science, vol.126, pp.27-52, 2005.
DOI : 10.1016/j.entcs.2004.11.012

. Baltag, Epistemic Actions as Resources, Journal of Logic and Computation, vol.17, issue.3, pp.555-585, 2007.
DOI : 10.1093/logcom/exm015

URL : http://arxiv.org/abs/math/0608166

M. Baltag, 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, 1999.
DOI : 10.1007/978-3-319-20451-2_38

&. Baltag, . Smets, A. Baltag, and S. Smets, Conditional Doxastic Models: A Qualitative Approach to Dynamic Belief Revision, Electronic Notes in Theoretical Computer Science, vol.165, pp.5-21, 2006.
DOI : 10.1016/j.entcs.2006.05.034

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

&. Baltag, . Smets, A. Baltag, and S. Smets, Probabilistic dynamic belief revision, Synthese, vol.24, issue.11, pp.179-202, 2008.
DOI : 10.1007/s11229-008-9369-8

J. Van-benthem, Meaning: the Dynamic Turn, chapter Structural Properties of Dynamic Reasoning, pp.15-31, 2003.

. Van-benthem and 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

. Van-benthem and J. Van-benthem, McCarthy variations in a modal key, Artificial Intelligence, vol.175, issue.1, pp.428-439, 2011.
DOI : 10.1016/j.artint.2010.04.014

. Van-benthem, 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

. Van-benthem, Dynamic Update with Probabilities, Studia Logica, vol.204, issue.11, pp.67-96, 2009.
DOI : 10.1007/s11225-009-9209-y

. Van-benthem, Logics of communication and change, Information and Computation, vol.204, issue.11, pp.204-1620, 2006.
DOI : 10.1016/j.ic.2006.04.006

. Blackburn, Modal Logic, volume 53 of Cambridge Tracts in Computer Science, 2001.

A. Church, Application of recursive arithmetic to the problem of circuit synthesis, Summaries of the Summer Institute of Symbolic Logic, pp.3-50, 1957.

. Cordon-franco, Two mischievous dynamic consequence relations Spain, Int. Workshop on Logic and Philosophy of Knowledge, Communication and Action, pp.197-208, 2010.

H. Van-ditmarsch-]-van-ditmarsch, Prolegomena to Dynamic Logic for Belief Revision, Synthese, vol.147, pp.229-275, 2005.
DOI : 10.1007/1-4020-4631-6_7

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

&. Van-ditmarsch, . French, H. P. Van-ditmarsch, and T. French, Simulation and Information: Quantifying over Epistemic Events, KRAMAS, pp.51-65, 2008.
DOI : 10.1007/978-3-642-05301-6_4

D. Van, From situation calculus to dynamic epistemic logic, Journal of Logic and Computation, vol.21, issue.2, pp.179-204, 2009.
URL : https://hal.archives-ouvertes.fr/hal-00868361

K. Fine, Normal forms in modal logic., Notre Dame Journal of Formal Logic, vol.16, issue.2, pp.229-237, 1975.
DOI : 10.1305/ndjfl/1093891703

&. Halpern, . Moses, J. Halpern, and Y. Moses, Knowledge and common knowledge in a distributed environment, Journal of the ACM, vol.37, issue.3, pp.549-587, 1990.
DOI : 10.1145/79147.79161

C. Hoare, An axiomatic basis for computer programming, Communications of the ACM, vol.12, issue.10, pp.567-580, 1969.
DOI : 10.1007/978-94-011-1793-7_5

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.116.2392

&. Katsuno, . Mendelzon, H. Katsuno, and A. Mendelzon, Propositional knowledge base revision and minimal change, Artificial Intelligence, vol.52, issue.3, pp.263-294, 1992.
DOI : 10.1016/0004-3702(91)90069-V

B. Kooi, Expressivity and completeness for public update logics via reduction axioms, Journal of Applied Non-Classical Logics, vol.1, issue.2, pp.231-253, 2007.
DOI : 10.1017/CBO9780511569852

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.495.7754

&. Kupferman, . Vardi, O. Kupferman, and M. Y. Vardi, Abstract, Bulletin of Symbolic Logic, vol.48, issue.02, pp.245-263, 1999.
DOI : 10.1145/357084.357090

F. Liu, Changing for the Better: Preference Dynamics and Agent Diversity, 2008.

&. Van-der-meyden, R. Vardi-]-van-der-meyden, and M. Y. Vardi, Synthesis from knowledge-based specifications (extended abstract), CONCUR, volume 1466 of Lecture Notes in Computer Science, pp.34-49, 1998.

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

V. R. Pratt, Semantical considerations on floyd-hoare logic, FOCS, pp.109-121, 1976.

R. Reiter, Knowledge in Action: Logical Foundations for Specifying and Implementing Dynamical Systems, 2001.

M. Shanahan, Solving the Frame Problem, 1997.