R. Alur, T. A. Henzinger, and O. Kupferman, Alternating-time temporal logic, Journal of the ACM, vol.49, issue.5, pp.672-713, 2002.

B. Aminof, A. Murano, S. Rubin, and F. Zuleger, Verification of asynchronous mobile-robots in partially-known environments, Proceedings of the 18th International Conference on Principles and Practice of Multi-Agent Systems (PRIMA 2015), volume 9387 of LNCS, pp.185-200, 2015.

B. Aminof, A. Murano, S. Rubin, and F. Zuleger, Automatic verification of multi-agent systems in parameterised grid-environments, Proceedings of the International Conference on Autonomous Agents & Multiagent Systems (AAMAS 2016), pp.1190-1199, 2016.

P. Balbiani, O. Gasquet, and F. Schwarzentruber, Agents that look at one another, Logic Journal of the IGPL, vol.21, issue.3, pp.438-467, 2013.
URL : https://hal.archives-ouvertes.fr/hal-01138505

V. Belle and H. J. Levesque, A logical theory of localization, Studia Logica, vol.104, issue.4, pp.741-772, 2016.

N. Belnap, M. Perloff, and M. Xu, Facing the future: agents and choices in our indeterminist world, 2001.

P. Blackburn, Representation, reasoning, and relational structures: a hybrid logic manifesto, Logic Journal of the IGPL, vol.8, pp.339-365, 2000.

E. Clarke, E. Emerson, and A. Sistla, Automatic verification of finite-state concurrent systems using temporal logic specifications, ACM Transactions on Programming Languages and Systems, vol.8, p.244, 1986.

R. Fagin, J. Y. Halpern, Y. Moses, and M. Vardi, Reasoning about knowledge, 1995.

D. Gabbay, A. Kurucz, F. Wolter, and M. Zakharyaschev, Many-Dimensional Modal Logics: Theory and Applications, 2003.

O. Gasquet, V. Goranko, and F. Schwarzentruber, Big brother logic: logical modeling and reasoning about agents equipped with surveillance cameras in the plane, Proceedings of the International conference on Autonomous Agents and Multi-Agent Systems (AAMAS 2014), pp.325-332, 2014.
URL : https://hal.archives-ouvertes.fr/hal-01113939

M. Marx and M. Reynolds, Undecidability of compass logic, Journal of Logic and Computation, vol.9, pp.897-941, 1997.

M. Marx and Y. Venema, Multi-Dimensional Modal Logic, Applied Logic Series, vol.4, 1997.

M. Pauly, A modal logic for coalitional power in games, Journal of Logic and Computation, vol.12, issue.1, pp.149-166, 2002.

Z. M. Reynolds and M. , On the products of linear modal logics, Journal of Logic and Compution, vol.11, pp.909-931, 2001.

R. A. Schmidt, D. Tishkovsky, and U. Hustadt, Interactions between knowledge, action and commitment within agent dynamic logic, Studia Logica, vol.78, issue.3, pp.381-415, 2004.

H. Van-ditmarsch, W. Van-der-hoek, and B. Kooi, Dynamic Epistemic Logic, 2008.
URL : https://hal.archives-ouvertes.fr/hal-00868361

Y. Wang and Y. Li, Not all those who wander are lost: Dynamic epistemic reasoning in navigation, Advances in Modal Logic 9, pp.559-580, 2012.