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

F. Belardinelli and A. Herzig, On Logics of Strategic Ability based on Propositional Control, Proceedings of the 25th International Joint Conference on Artiicial Intelligence (IJCAI-2016), 2016.
URL : https://hal.archives-ouvertes.fr/hal-01424478

E. Bonzon, M. Lagasquie-schiex, J. Lang, and B. Zanuuini, Boolean games revisited, Proceedings of the 17th European Conference on Artiicial Intelligence (ECAI-2006), 2006.
URL : https://hal.archives-ouvertes.fr/hal-00197022

N. Bulling, J. Dix, and W. Jamroga, Model Checking Logics of Strategic Ability: Complexity*. In Speciication and Veriication of Multi-agent Systems, Mehdi Dastani, pp.125-159, 2010.

J. Gerbrandy, Logics of propositional control, Proceedings of the 5th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS-2006), 2006.

U. Grandi, D. Grossi, and P. Turrini, Equilibrium Reenement through Negotiation in Binary Voting, Proceedings of the 24th International Joint Conference on Artiicial Intelligence (IJCAI-2015), 2015.

U. Grandi, E. Lorini, A. Novaro, and L. Perrussel, Strategic Disclosure of Opinions on a Social Network, Proceedings of the 16th International Conference on Autonomous Agents and Multiagent Systems, p.2017, 2017.
URL : https://hal.archives-ouvertes.fr/hal-01736247

D. Grossi, E. Lorini, and F. Schwarzentruber, Ceteris Paribus Structure of Logics of Game Forms, Journal of Artiicial Intelligence Research (JAIR), vol.53, pp.91-126, 2015.
URL : https://hal.archives-ouvertes.fr/hal-01809279

J. Gutierrez, P. Harrenstein, and M. Wooldridge, Iterated Boolean games, Proceedings of the 23th International Joint Conference on Artiicial Intelligence (IJCAI-2013), 2013.

J. Gutierrez, P. Harrenstein, and M. Wooldridge, Iterated Boolean games, Information and Computation, vol.242, pp.53-79, 2015.

P. Harrenstein, W. Van-der-hoek, J. Meyer, and C. Wiieveen, Boolean games, Proceedings of the 8th Conference on eoretical Aspects of Rationality and Knowledge, p.2001, 2001.
URL : https://hal.archives-ouvertes.fr/hal-01501680

X. Huang, Q. Chen, and K. Su, Complexity of Model Checking Succinct Multiagent Systems, Proceedings of the 24th International Joint Conference on Artiicial Intelligence, 2015.

W. Jamroga, Modular interpreted systems, Proceedings of the 6th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS-2007), 2007.

O. Lev and J. S. Rosenschein, Convergence of iterative voting, Proceedings of the 11th International Conference on Autonomous Agents and Multiagent Systems, p.2012, 2012.

R. Meir, M. Polukarov, J. S. Rosenschein, and N. R. Jennings, Convergence to Equilibria in Plurality Voting, Proceedings of the 24th AAAI conference on Artiicial Intelligence (AAAI-2010), 2010.

S. Obraztsova, E. Markakis, M. Polukarov, Z. Rabinovich, and N. R. Jennings, On the Convergence of Iterative Voting: How Restrictive Should Restricted Dynamics Be, Proceedings of the 29th AAAI Conference on Artiicial Intelligence, 2015.

A. Pnueli, 1977. e temporal logic of programs, Proceedings of the 18th IEEE Symposium on Foundations of Computer Science

A. Wiebe-van-der-hoek, M. Lomuscio, and . Wooldridge, On the complexity of practical ATL model checking, 5th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS-2006), 2006.

W. Van-der-hoek, D. Walther, and M. Wooldridge, Reasoning About the Transfer of Control, Journal of Artiicial Intelligence Research, pp.437-477, 2010.

W. Van-der-hoek and M. Wooldridge, On the logic of cooperation and propositional control, Artiicial Intelligence, vol.164, pp.81-119, 2005.