C. Alchourrón, P. Gärdenfors, and D. Makinson, Abstract, The Journal of Symbolic Logic, vol.48, issue.02, pp.510-530, 1985.
DOI : 10.1080/00048408412341331

P. Balbiani, A. Herzig, and N. Troquard, Dynamic Logic of Propositional Assignments: A Well-Behaved Variant of PDL, 2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science, 2013.
DOI : 10.1109/LICS.2013.20
URL : https://hal.archives-ouvertes.fr/hal-01240721

M. Bienvenu, A. Herzig, and G. Qi, Prime implicate-based belief revision operators, European Conference on Artificial Intelligence (ECAI), pp.741-742, 2008.

J. Brotherston and M. I. Kanovich, Undecidability of propositional separation logic and its neighbours, Proceedings of the 25th Annual IEEE Symposium on Logic in Computer Science, pp.11-14, 2010.

A. Hans-van-ditmarsch, T. Herzig, and . Lima, From Situation Calculus to Dynamic Epistemic Logic, Journal of Logic and Computation, vol.21, issue.2, pp.179-204, 2011.
DOI : 10.1093/logcom/exq024

P. Gärdenfors, Knowledge in Flux: Modeling the Dynamics of Epistemic States, 1988.

S. Samin, P. W. Ishtiaq, and . Hearn, BI as an assertion language for mutable data structures, POPL, pp.14-26, 2001.

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

H. Katsuno and A. O. Mendelzon, On the difference between updating a knowledge base and revising it, Belief revision Principles of Knowledge Representation and Reasoning: Proc. 2nd Int. Conf, pp.183-203, 1991.
DOI : 10.1017/CBO9780511526664.007

G. Kourousias and D. Makinson, Abstract, The Journal of Symbolic Logic, vol.22, issue.03, pp.994-1002, 2007.
DOI : 10.1023/A:1018960323808

D. Larchey-wendling and D. Galmiche, The Undecidability of Boolean BI through Phase Semantics, 2010 25th Annual IEEE Symposium on Logic in Computer Science, pp.11-14, 2010.
DOI : 10.1109/LICS.2010.18
URL : https://hal.archives-ouvertes.fr/hal-00577919

J. Mccarthy and P. J. Hayes, Some Philosophical Problems from the Standpoint of Artificial Intelligence, Machine Intelligence, pp.463-502, 1969.
DOI : 10.1016/B978-0-934613-03-3.50033-7

W. Peter, J. C. O-'hearn, H. Reynolds, and . Yang, Local reasoning about programs that alter data structures, Lecture Notes in Computer Science, vol.2142, pp.1-19, 2001.

R. Parikh, Beliefs, belief revision, and splitting languages, Logic, Language, and Computation, pp.266-278, 1999.

R. Reiter, The Frame Problem in the Situation Calculus: A Simple Solution (Sometimes) and a Completeness Result for Goal Regression, Artificial Intelligence and Mathematical Theory of Computation, pp.359-380, 1991.
DOI : 10.1016/B978-0-12-450010-5.50026-8

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

C. John and . Reynolds, Separation logic: A logic for shared mutable data structures, 17th IEEE Symposium on Logic in Computer Science, pp.22-25, 2002.