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

K. Chatterjee, T. A. Henzinger, and N. Piterman, Strategy logic, Information and Computation, vol.208, issue.6, pp.677-693, 2010.
DOI : 10.1016/j.ic.2009.07.004

W. Van-der-hoek, W. Jamroga, and M. Wooldridge, A logic for strategic reasoning, Proceedings of the fourth international joint conference on Autonomous agents and multiagent systems , AAMAS '05, pp.157-164, 2005.
DOI : 10.1145/1082473.1082497

M. Kaneko and T. Nagashima, Game logic and its applications I, Studia Logica, vol.8, issue.2-3, pp.325-354, 1996.
DOI : 10.1007/BF00370838

R. Parikh, The Logic of Games and its Applications, Topics in the Theory of Computation Selected Papers of the International Conference on 'Foundations of Computation Theory', FCT 1983. North-Holland Mathematics Studies, pp.111-139, 1985.
DOI : 10.1016/S0304-0208(08)73078-0

M. Pauly and R. Parikh, Game logic-an overview, Studia Logica, vol.75, issue.2, pp.165-182, 2003.
DOI : 10.1023/A:1027354826364

J. Van-benthem, Reasoning about Strategies, pp.336-347
DOI : 10.1007/3-540-61604-7_60

M. Pauly, A Modal Logic for Coalitional Power in Games, Journal of Logic and Computation, vol.12, issue.1, pp.149-166, 2002.
DOI : 10.1093/logcom/12.1.149

M. Genesereth, N. Love, and B. Pell, General Game Playing, Synthesis Lectures on Artificial Intelligence and Machine Learning, vol.8, issue.2, pp.62-72, 2005.
DOI : 10.2200/S00564ED1V01Y201311AIM024

F. Mogavero, A. Murano, and M. Y. Vardi, Reasoning about strategies, IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2010, pp.133-144, 2010.

R. Ramanujam and S. E. Simon, Dynamic logic on games with structured strategies, Proceedings of the Eleventh International Conference on Principles of Knowledge Representation and Reasoning, pp.49-58, 2008.

D. Zhang and M. Thielscher, Representing and Reasoning about Game Strategies, Journal of Philosophical Logic, vol.53, issue.4, 2014.
DOI : 10.1007/s10992-014-9334-6

J. Van-benthem, In Praise of Strategies, Games, Actions, and Social Software. ILLC scientific publications, 2008.
DOI : 10.1007/s10849-009-9119-4

A. Herzig, E. Lorini, and D. Walther, Reasoning about Actions Meets Strategic Logics, LORI 2013, pp.162-175, 2013.
DOI : 10.1007/978-3-642-40948-6_13
URL : https://hal.archives-ouvertes.fr/hal-01226475

D. Walther, W. Van-der-hoek, and M. Wooldridge, Alternating-time temporal logic with explicit strategies, Proceedings of the 11th conference on Theoretical aspects of rationality and knowledge , TARK '07, pp.269-278, 2007.
DOI : 10.1145/1324249.1324285
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.325.5535

H. J. Van-den-herik, J. W. Uiterwijk, and J. Van-rijswijck, Games solved: Now and in the future, Artificial Intelligence, vol.134, issue.1-2, pp.277-311, 2002.
DOI : 10.1016/S0004-3702(01)00152-7

B. Polak, Backward induction: Chess, strategies, and credible threats, 2007.

L. V. Allis, H. J. Van-den-herik, and M. P. Huntjens, GO-MOKU SOLVED BY NEW SEARCH TECHNIQUES, Computational Intelligence, vol.4, issue.1, pp.7-23, 1996.
DOI : 10.1016/0004-3702(75)90019-3

L. Allis, M. Van-der-meulen, and H. Van-den-herik, Proof-number search, Artificial Intelligence, vol.66, issue.1, pp.91-124, 1994.
DOI : 10.1016/0004-3702(94)90004-3

L. V. Allis, A knowledge-based approach of connect-four, 1988.

L. V. Allis, Searching for solutions in games and artificial intelligence, p.The Netherlands, 1994.

J. Wágner and I. Virág, Solving renju, ICGA Journal, vol.24, issue.1, pp.30-35, 2001.

J. Ruan, W. Van-der-hoek, and M. Wooldridge, Verification of Games in the Game Description Language, Journal of Logic and Computation, vol.19, issue.6, pp.1127-1156, 2009.
DOI : 10.1093/logcom/exp039