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://www-cad.eecs.berkeley.edu/~tah/Publications/alternating-time_temporal_logic.ps

C. Areces and B. Cate, Hybrid logics, Handbook of Modal Logic, pp.821-868, 2006.
URL : https://hal.archives-ouvertes.fr/inria-00549320

P. Balbiani, O. Gasquet, A. Herzig, F. Schwarzentruber, and N. Troquard, Coalition games over kripke semantics, Festschrift in Honour of Shahid Rahman, pp.1-12, 2008.

P. Balbiani, A. Herzig, and N. Troquard, ALTERNATIVE AXIOMATICS AND COMPLEXITY OF DELIBERATIVE STIT THEORIES, Journal of Philosophical Logic, vol.27, issue.1, pp.387-406, 2008.
DOI : 10.1007/s10992-007-9078-7
URL : http://arxiv.org/pdf/0704.3238

P. Balbiani, A. Herzig, and N. Troquard, Dynamic Logic of Propositional Assignments: A Well-Behaved Variant of PDL, 2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science, pp.143-152, 2013.
DOI : 10.1109/LICS.2013.20
URL : https://hal.archives-ouvertes.fr/hal-01240721

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-00100503

J. Broersen, A Complete STIT Logic for Knowledge and Action, and Some of Its Applications, Proceedings of the 6th International Workshop on Declarative Agent Languages and Technologies, pp.47-59, 2008.
DOI : 10.1142/9789812799746_0010

J. Broersen, A. Herzig, and N. Troquard, From Coalition Logic to STIT, Proceedings of the Third International Workshop on Logic and Communication in Multi-agent Systems (LCMAS'05), pp.23-35, 2005.
DOI : 10.1016/j.entcs.2006.02.011
URL : https://doi.org/10.1016/j.entcs.2006.02.011

J. Broersen, A. Herzig, and N. Troquard, Embedding Alternating-time Temporal Logic in Strategic Logic of Agency, Journal of Logic and Computation, vol.16, issue.5, pp.559-578, 2006.
DOI : 10.1093/logcom/exl025

J. Broersen, A. Herzig, and N. Troquard, A normal simulation of coalition logic and an epistemic extension, Proceedings of the 11th conference on Theoretical aspects of rationality and knowledge , TARK '07, pp.92-101, 2007.
DOI : 10.1145/1324249.1324264

B. F. Chellas, Modal Logic. An Introduction, 1980.

P. Dunne, W. Van-der-hoek, S. Kraus, and M. Wooldridge, Cooperative boolean games, Proceedings of AAMAS 2008, pp.1015-1022, 2008.

D. M. Gabbay, A. Kurucz, F. Wolter, and M. Zakharyaschev, Many-dimensional modal logics: theory and applications, 2003.

O. Gasquet and A. Herzig, Translating non-normal modal logics into normal modal logics, Proceedings of the International Workshop on Deontic Logic in Computer Science (DEON'94), 1994.

J. Gerbrandy, Logics of propositional control, Proceedings of the fifth international joint conference on Autonomous agents and multiagent systems , AAMAS '06, pp.193-200, 2006.
DOI : 10.1145/1160633.1160664

R. Goldblatt, Logics of Time and Computation. CSLI, 1992.

V. Goranko, Coalition games and alternating temporal logics, Proceedings of the 8th conference on theoretical aspects of rationality and knowledge (TARK'01), pp.259-272, 2001.

V. Goranko and W. Jamroga, Comparing Semantics of Logics eor Multi-Agent Systems, Synthese, vol.139, issue.2, pp.241-280, 2004.
DOI : 10.1023/B:SYNT.0000024915.66183.d1

V. Goranko, W. Jamroga, and P. Turrini, Strategic games and truly playable effectivity functions, Autonomous Agents and Multi-Agent Systems, vol.15, issue.1, pp.288-314, 2013.
DOI : 10.1007/s003550050092
URL : http://orbit.dtu.dk/files/6379450/GJTcamera-ready-final.pdf

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

P. Harrenstein, W. Van-der-hoek, J. Meyer, and C. Witteveen, Boolean games, Proceedings of TARK'01, pp.287-298, 2001.
URL : https://hal.archives-ouvertes.fr/hal-01501680

A. Herzig, Logics of knowledge and action: critical analysis and challenges, Autonomous Agents and Multi-Agent Systems, vol.190, issue.18, pp.10-1007, 2014.
DOI : 10.1007/978-3-642-33353-8_34
URL : https://hal.archives-ouvertes.fr/hal-01285093

A. Herzig, E. Lorini, F. Moisan, and N. Troquard, A dynamic logic of normative systems, Proceedings of the Twenty-Second International Joint Conference on Artificial Intelligence (IJCAI 2011), pp.228-233, 2011.

A. Herzig and F. Schwarzentruber, Properties of logics of individual and group agency Advances in modal logic, pp.133-149, 2008.

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

J. Krabbendam and J. Meyer, Contextual deontic logics, Norms, Logics and Information Systems, pp.347-362, 2003.

J. Krabbendam and J. Meyer, Release logics for temporalizing dynamic logic, orthogonalising modal logics, Advances in Temporal Logic, pp.21-45, 2000.
DOI : 10.1007/978-94-015-9586-5_2

E. Lorini and F. Schwarzentruber, A logic for reasoning about counterfactual emotions, Artificial Intelligence, vol.175, issue.3-4, pp.3-4, 2011.
DOI : 10.1016/j.artint.2010.11.022
URL : https://doi.org/10.1016/j.artint.2010.11.022

H. J. Mccann, Volition and Basic Action, The Philosophical Review, vol.83, issue.4, pp.451-473, 1974.
DOI : 10.2307/2183915

H. Moulin and B. Peleg, Cores of effectivity functions and implementation theory, Journal of Mathematical Economics, vol.10, issue.1, pp.115-145, 1982.
DOI : 10.1016/0304-4068(82)90009-X

M. J. Osborne and A. Rubinstein, A Course in Game Theory, 1994.

O. Shaughnessy and B. , Trying (As the Mental "Pineal Gland"), Journal of Philosophy, vol.70, issue.13, pp.365-386, 1974.
DOI : 10.2307/2024676

M. Pauly, A Logical Framework for Coalitional Effectivity in Dynamic Procedures, Bulletin of Economic Research, vol.53, issue.4, pp.305-324, 2001.
DOI : 10.1111/1467-8586.00136
URL : https://ir.cwi.nl/pub/2084/2084D.pdf

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
URL : https://academic.oup.com/logcom/article-pdf/12/1/149/3657514/120149.pdf

F. Schwarzentruber, Complexity Results of STIT Fragments, Studia Logica, vol.27, issue.2, 2012.
DOI : 10.1023/A:1004274131669

G. Tseitin, On the complexity of derivation in propositional calculus, Structures in Constructive Mathematics and Mathematical Logic, 1968.
DOI : 10.1007/978-3-642-81955-1_28

J. Van-benthem, P. Girard, and O. Roy, Everything Else Being Equal: A Modal Logic for Ceteris Paribus Preferences, Journal of Philosophical Logic, vol.100, issue.1, pp.83-125, 2009.
DOI : 10.1017/CBO9780511611193

W. Van-der-hoek and M. Pauly, 20 Modal logic for games and information, Handbook of Modal Logic, pp.1077-1146, 2007.
DOI : 10.1016/S1570-2464(07)80023-1

W. Van-der-hoek and M. Wooldridge, Cooperation, knowledge and time: Alternatingtime 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, 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

H. Van-ditmarsch, B. Kooi, and W. Van-der-hoek, Dynamic Epistemic Logic of Synthese Library Series, 2007.

J. Van-eijck, Making things happen, Studia Logica, vol.66, issue.1, pp.41-58, 2000.
DOI : 10.1023/A:1026792711025

V. Wright and G. H. , The Logic of Preference, 1963.

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://www.tark.org/proceedings/tark_jun25_07/p269-walther.pdf

Y. Wang and Q. Cao, On axiomatizations of public announcement logic, Synthese, vol.75, issue.1, pp.103-134, 2013.
DOI : 10.1023/A:1026168632319

H. Wansing, Tableaux for multi-agent deliberative-STIT logic Advances in Modal Logic, pp.503-520, 2006.

M. Xu, Axioms for Deliberative Stit, Journal of Philosophical Logic, vol.54, issue.5, pp.505-552, 1998.
DOI : 10.1007/BF01053002