T. Ågotnes, Action and Knowledge in Alternating-Time Temporal Logic, Synthese, vol.75, issue.4, pp.377-409, 2006.
DOI : 10.1007/s11229-005-3875-8

R. Alur, T. 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
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.25.5461

R. Audi, A theory of practical reasoning, American Philosophical Quarterly, vol.19, pp.25-39, 1982.

B. Barnes, The Nature of Power, 1988.

N. Belnap, M. Perloff, and M. Xu, Facing the Future: Agents and Choices in our Indeterminist World, 2001.

P. Blackburn, M. De-rijke, and Y. Venema, Modal Logic, 2001.
DOI : 10.1017/CBO9781107050884
URL : https://hal.archives-ouvertes.fr/inria-00100502

M. Bratman, Shared cooperative activity. The Philosophical Review, pp.327-341, 1992.
DOI : 10.1017/cbo9780511625190.005

J. M. Broersen, A Logical Analysis of the Interaction between ???Obligation-to-do??? and ???Knowingly Doing???, Proceedings of the Ninth International Conference on Deontic Logic in Computer Science (DEON'08), pp.140-154, 2008.
DOI : 10.1007/978-3-540-70525-3_12

J. M. Broersen, A stit-Logic for Extensive Form Group Strategies, 2009 IEEE/WIC/ACM International Joint Conference on Web Intelligence and Intelligent Agent Technology, pp.484-487, 2009.
DOI : 10.1109/WI-IAT.2009.331

J. M. Broersen, A. Herzig, and N. Troquard, A STIT-Extension of ATL, Proceedings Tenth European Conference on Logics in Artificial Intelligence, pp.69-81, 2006.
DOI : 10.1007/11853886_8

J. M. Broersen, A. Herzig, and N. Troquard, Normal coalition logic and its conformant extension, Proceedings of Eleventh Conference on Theoretical Aspects of Rationality and Knowledge (TARK XI), 2007.

C. Castelfranchi, The Micro-Macro Constitution of Power, SSRN Electronic Journal, pp.18-19, 2003.
DOI : 10.2139/ssrn.1829901

B. F. Chellas, Modal Logic: an Introduction, 1980.
DOI : 10.1017/CBO9780511621192

P. R. Cohen and H. J. Levesque, Intention is choice with commitment, Artificial Intelligence, vol.42, issue.2-3, pp.213-261, 1990.
DOI : 10.1016/0004-3702(90)90055-5

W. Conradie, V. Goranko, and D. Vakarelov, Algorithmic correspondence and completeness in modal logic. I. The core algorithm SQEMA, Logical methods in computer science, pp.1-26, 2006.
DOI : 10.2168/LMCS-2(1:5)2006

R. Dahl, The concept of power, Behavioral Science, vol.2, issue.3, pp.201-215, 1957.
DOI : 10.1002/bs.3830020303

D. Davidson, Actions, Reasons, and Causes, The Journal of Philosophy, vol.60, issue.23, pp.685-700, 1963.
DOI : 10.2307/2023177

D. Davidson, The logical form of action sentences In The Logic of Decision and Action, 1967.

V. Dignum and F. Dignum, A logic of agent organizations, Proceedings of the Workshop on Formal Approaches to Multi-Agent Systems Formal Approaches to Multi-Agent Systems, 2007.
DOI : 10.1093/jigpal/jzr041

B. Dunin-keplicz and R. Verbrugge, Collective Intentions, Fundamenta Informaticae, vol.51, pp.271-295, 2002.
DOI : 10.1002/9780470665237.ch3

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

R. Fagin and J. Y. Halpern, Belief, awareness, and limited reasoning, Artificial Intelligence, vol.34, issue.1, pp.39-76, 1987.
DOI : 10.1016/0004-3702(87)90003-8
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.72.5271

A. I. Goldman, Toward a theory of social power, Philosophical Studies, vol.23, issue.4, pp.221-268, 1972.
DOI : 10.1007/BF00356228

D. Harel, D. Kozen, and J. Tiuryn, Dynamic Logic, 2000.

A. Herzig and E. Lorini, A Dynamic Logic of Agency I: STIT, Capabilities and Powers, Journal of Logic, Language and Information, vol.75, issue.1-2, pp.89-121, 2009.
DOI : 10.1007/s10849-009-9105-x

A. Herzig and N. Troquard, Knowing how to play, Proceedings of the fifth international joint conference on Autonomous agents and multiagent systems , AAMAS '06, pp.209-216, 2006.
DOI : 10.1145/1160633.1160666

J. Hintikka, Knowledge and Belief, 1962.

J. F. Horty, Agency and Deontic Logic, 2001.
DOI : 10.1093/0195134613.001.0001

W. Jamroga, Some remarks on alternating temporal epistemic logic, Proceedings of the International Workshop on Formal Approaches to Multi-Agent Systems (FAMAS'03), 2003.

W. Jamroga and T. Ågotnes, Constructive knowledge: what agents can achieve under imperfect information, Journal of Applied Non-Classical Logics, vol.75, issue.1, pp.423-475, 2007.
DOI : 10.3166/jancl.17.423-475

W. J. Jamroga and W. Van-der-hoek, Agents that know how to play, Fundamenta Informaticae, vol.63, pp.185-219, 2004.

A. Jones and M. J. Sergot, A formal characterization institutionalised power, Journal of the IGPL, vol.4, pp.429-445, 1996.

E. Lorini, A Dynamic Logic of Agency II: Deterministic $${\mathcal{DLA}}$$ , Coalition Logic, and Game Theory, Journal of Logic, Language and Information, vol.64, issue.1???2, pp.327-351, 2010.
DOI : 10.1007/s10849-009-9104-y

E. Lorini and A. Herzig, A logic of intention and attempt, Synthese, vol.1, issue.3, pp.45-77, 2008.
DOI : 10.1007/s11229-008-9309-7

E. Lorini and F. Schwarzentruber, A logic for reasoning about counterfactual emotions, Proceedings of the twenty-first International Joint Conference on Artificial Intelligence (IJCAIÂ'09), pp.867-872, 2009.
DOI : 10.1016/j.artint.2010.11.022

E. Lorini, F. Schwarzentruber, and A. Herzig, Epistemic Games in Modal Logic: Joint Actions, Knowledge and Preferences All Together, LORI-II Workshop on Logic, Rationality and Interaction, pp.212-226, 2009.
DOI : 10.1007/978-3-642-04893-7_17

E. Lorini, N. Troquard, A. Herzig, and C. Castelfranchi, Delegation and mental states, Proceedings of the 6th international joint conference on Autonomous agents and multiagent systems , AAMAS '07, 2007.
DOI : 10.1145/1329125.1329311

M. Pauly, Logic for Social Software, 2001.

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

I. Pörn, Action Theory and Social Science: Some Formal Models, Synthese Library, vol.120, 1977.
DOI : 10.1007/978-94-010-1268-3

A. S. Rao and M. Georgeff, BDI agents: from theory to practice, Proceedings of the first international conference on Multi-Agent Systems (ICMAS-95), pp.312-319, 1995.

J. Scott, Modes of Power and the Re-Conceptualization of Elites, The Sociological Review, vol.1, issue.3, pp.25-43, 2008.
DOI : 10.1111/j.1467-954X.2008.00760.x

J. S. Sichman and R. Conte, Multi-agent dependence by dependence graphs, Proceedings of the first international joint conference on Autonomous agents and multiagent systems part 1, AAMAS '02, pp.483-490, 2002.
DOI : 10.1145/544741.544855
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.19.3853

R. H. Thomason, Combinations of tense and modality. In Handbook of Philosophical Logic: Extensions of Classical Logic, Reidel, pp.135-165, 1984.

N. Troquard and L. Vieu, Towards a logic of agency and actions with duration, European Conference on Artificial Intelligence Riva del Garda, Italy, pp.775-776, 2006.

J. Van-benthem, Games in Dynamic-Epistemic Logic, Bulletin of Economic Research, vol.53, issue.4, pp.219-248, 2001.
DOI : 10.1111/1467-8586.00133

J. Van-benthem and E. Pacuit, The tree of knowledge in action: Towards a common perspective, Proceedings of Advances in Modal Logic, pp.87-106, 2006.

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, 2005.
DOI : 10.1145/1082473.1082497

W. Van-der-hoek and M. Wooldridge, Cooperation, knowledge, and time: Alternating-time temporal epistemic logic and its applications, Studia Logica, vol.75, issue.1, pp.125-157, 2003.
DOI : 10.1023/A:1026185103185

W. Van-der-hoek and M. Wooldridge, Towards a Logic of Rational Agency, Logic Journal of IGPL, vol.11, issue.2, pp.133-157, 2003.
DOI : 10.1093/jigpal/11.2.135

W. Van-der-hoek and M. Wooldridge, On the logic of cooperation and propositional control, Artificial Intelligence, vol.164, issue.1-2, pp.81-119, 2005.
DOI : 10.1016/j.artint.2005.01.003

B. Van-linder, W. Van-der-hoek, J. W. Ch, and . Meyer, Formalising abilities and opportunities, Fundamenta Informaticae, vol.34, pp.53-101, 1998.

G. H. Wright, On So-Called Practical Inference, Acta Sociologica, vol.15, issue.1, pp.39-53, 1972.
DOI : 10.1177/000169937201500104

M. Wooldridge, Reasoning about rational agents, 2000.