. Balbiani, . Herzig, P. Balbiani, and A. Herzig, Talkin'bout Kripke models, International Workshop on Hybrid Logic, 2007.

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

. Fagin, Reasoning about knowledge, 1995.

. Harel, Process logic: Expressiveness, decidability and completeness, Journal of Computer and System Sciences, vol.25, issue.2, 1982.
DOI : 10.1109/sfcs.1980.35
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.20.5267

. Harel, Dynamic Logic, 2000.

P. Harel, D. Harel, and D. Peleg, Process logic with regular formulas, Theoretical Computer Science, vol.38, pp.307-322, 1985.
DOI : 10.1016/0304-3975(85)90225-7
URL : http://doi.org/10.1016/0304-3975(85)90225-7

S. Harel, D. Harel, and E. Singerman, Computation paths logic: An expressive, yet elementary, process logic. Annals of pure and applied logic, pp.167-186, 1999.
DOI : 10.1016/s0168-0072(98)00038-4
URL : http://doi.org/10.1016/s0168-0072(98)00038-4

H. Nishimura, Descriptively complete process logic, Acta Informatica, vol.14, issue.4, pp.359-369, 1980.
DOI : 10.1007/BF00286492

R. Parikh, A decidability result for a second order process logic, 19th Annual Symposium on Foundations of Computer Science (sfcs 1978), pp.177-183, 1978.
DOI : 10.1109/SFCS.1978.2

A. Pnuelli, The temporal logic of programs, 18th Annual Symposium on Foundations of Computer Science (sfcs 1977), pp.46-57, 1977.
DOI : 10.1109/SFCS.1977.32

V. Pratt, Semantical considerations on floyd-hoare logic, Proceedings of the 17th IEEE Symposium on the Foundations of Computer Science, pp.109-121, 1976.
DOI : 10.1109/sfcs.1976.27

V. R. Pratt, Process logic, Proceedings of the 6th ACM SIGACT-SIGPLAN symposium on Principles of programming languages , POPL '79, 1979.
DOI : 10.1145/567752.567761

B. Rodenhäuser, Updating epistemic uncertainty: an essay in the logic of information, 2001.

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

D. Van, Dynamic epistemic logic with assignment, Autonomous Agents and Multi-agent Systems (AAMAS 2005), pp.141-148, 2005.

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