?. P. Where-p and ?. A. , is any epistemic action In DEL, one assumes that |A| > 1. The truth conditions for the programs ? are defined as follows: M, w |= [E, e]? iff M, w |= pre(e) implies (M, w) ? (E, e) |= ? M, w |= [? ? ?]? iff M, w |=, |= [? * ]? iff for all finite sequences ?

. Proof and . Planexandersen, reducible to the model checking problem of the language L * DEL : an epistemic planning task T = (s 0 , A, ? g ) has a solution iff s 0 |= ¬[A * ]¬? g holds. Inria References Conditional epistemic planning, Lecture Notes in Computer Science, vol.7519, pp.94-106, 2012.

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, pp.337-367, 2012.
DOI : 10.1080/11663081.2012.736703

URL : https://hal.archives-ouvertes.fr/hal-00856471

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, TARK, pp.43-56, 1998.
DOI : 10.1007/978-3-319-20451-2_38

S. Baron-cohen, Mindblindness: An essay on autism and theory of mind, 1997.

. Bolander, . Andersen, T. Bolander, and M. B. Andersen, Epistemic planning for singleand multi-agent systems, Journal of Applied Non-Classical Logics, vol.3, issue.3, pp.9-34, 2011.
DOI : 10.1016/0010-0277(83)90004-5

T. Bylander, The computational complexity of propositional STRIPS planning, Artificial Intelligence, vol.69, issue.1-2, pp.165-204, 1994.
DOI : 10.1016/0004-3702(94)90081-7

. Erol, Complexity, decidability and undecidability results for domain-independent planning, Artificial Intelligence, vol.76, issue.1-2, pp.75-88, 1995.
DOI : 10.1016/0004-3702(94)00080-K

. Fagin, Reasoning about knowledge, 1995.

. Ghallab, Automated Planning: Theory and Practice, 2004.

. Gmytrasiewicz, . Doshi, P. Gmytrasiewicz, and P. Doshi, A framework for sequential planning in multiagent settings, Journal of Artificial Intelligence Research, vol.24, issue.1, pp.49-79, 2005.

K. Hampson, C. Hampson, and A. Kurucz, On modal products with the logic of 'elsewhere, Advances in Modal Logic, 2012.

J. Hintikka, Knowledge and Belief, An Introduction to the Logic of the Two Notions, 1962.

. Löwe, DEL planning and some tractable cases, LORI, pp.179-192, 2011.

. Madani, On the undecidability of probabilistic planning and infinite-horizon partially observable markov decision problems, Proceedings of the National Conference on Artificial Intelligence, pp.541-548, 1999.

. Meyer, J. C. Van-der-hoek-]-meyer, and W. Van-der-hoek, Epistemic Logic for AI and Computer Science, 1995.
DOI : 10.1017/CBO9780511569852

. Miller, . Moss, J. Miller, and L. Moss, The Undecidability of Iterated Modal Relativization, Studia Logica, vol.82, issue.4, pp.373-407, 2005.
DOI : 10.1007/s11225-005-3612-9

S. Pardo, P. Pardo, and M. Sadrzadeh, Planning in the logics of communication and change, Proceedings of the 11th International Conference on Autonomous Agents and Multiagent Systems International Foundation for Autonomous Agents and Multiagent Systems, pp.1231-1232, 2012.

W. Premack, D. Premack, and G. Woodruff, Does the chimpanzee have a theory of mind?, Behavioral and Brain Sciences, vol.1, issue.04, pp.515-526, 1978.
DOI : 10.1126/science.705342

J. Rintanen, Complexity of planning with partial observability, ICAPS, pp.345-354, 2004.

. Van-benthem and J. Van-benthem, Logical Dynamics of Information and Interaction, 2011.
DOI : 10.1017/CBO9780511974533

. 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

W. Hoek and M. Wooldridge, Tractable multiagent planning for epistemic goals, Proceedings of the First International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS-2002), pp.1167-1174, 2002.

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.