{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,7]],"date-time":"2026-03-07T19:01:06Z","timestamp":1772910066208,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":41,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783662485392","type":"print"},{"value":"9783662485408","type":"electronic"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1007\/978-3-662-48540-8_5","type":"book-chapter","created":{"date-parts":[[2016,1,8]],"date-time":"2016-01-08T15:32:33Z","timestamp":1452267153000},"page":"137-173","source":"Crossref","is-referenced-by-count":13,"title":["Using STIT Theory to Talk About Strategies"],"prefix":"10.1007","author":[{"given":"Jan","family":"Broersen","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Andreas","family":"Herzig","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2016,1,9]]},"reference":[{"key":"5_CR1","doi-asserted-by":"crossref","unstructured":"\u00c5gotnes, T., Goranko, V., Jamroga, W.: Alternating-time temporal logics with irrevocable strategies. In: Samet, D. (ed.) Proceedings of the Theoretical Aspects of Rationality and Knowledge (TARK), pp. 15\u201324 (2007)","DOI":"10.1145\/1324249.1324256"},{"issue":"5","key":"5_CR2","doi-asserted-by":"publisher","first-page":"672","DOI":"10.1145\/585265.585270","volume":"49","author":"R Alur","year":"2002","unstructured":"Alur, R., Henzinger, T.A., Kupferman, O.: Alternating-time temporal logic. J. ACM 49(5), 672\u2013713 (2002)","journal-title":"J. ACM"},{"issue":"4","key":"5_CR3","doi-asserted-by":"publisher","first-page":"387","DOI":"10.1007\/s10992-007-9078-7","volume":"37","author":"P Balbiani","year":"2008","unstructured":"Balbiani, P., Herzig, A., Troquard, N.: Alternative axiomatics and complexity of deliberative STIT theories. J. Philos. Logic 37(4), 387\u2013406 (2008)","journal-title":"J. Philos. Logic"},{"issue":"3","key":"5_CR4","doi-asserted-by":"publisher","first-page":"175","DOI":"10.1111\/j.1755-2567.1988.tb00717.x","volume":"54","author":"N Belnap","year":"1988","unstructured":"Belnap, N., Perloff, M.: Seeing to it that: A canonical form for agentives. Theoria 54(3), 175\u2013199 (1988)","journal-title":"Theoria"},{"key":"5_CR5","doi-asserted-by":"crossref","DOI":"10.1093\/oso\/9780195138788.001.0001","volume-title":"Facing the Future: Agents and Choices in Our Indeterminist World","author":"N Belnap","year":"2001","unstructured":"Belnap, N., Perloff, M., Xu, M.: Facing the Future: Agents and Choices in Our Indeterminist World. Oxford University Press, Oxford (2001)"},{"key":"5_CR6","series-title":"Cambridge Tracts in Theoretical Computer Science","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9781107050884","volume-title":"Modal Logic","author":"P Blackburn","year":"2001","unstructured":"Blackburn, P., de Rijke, M., Venema, Y.: Modal Logic. Cambridge Tracts in Theoretical Computer Science, vol. 53. Cambridge University Press, Cambridge (2001)"},{"key":"5_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"92","DOI":"10.1007\/978-3-540-92687-0_7","volume-title":"Logical Foundations of Computer Science","author":"T Brihaye","year":"2008","unstructured":"Brihaye, T., Da Costa, A., Laroussinie, F., Markey, N.: $$\\sf ATL$$ ATL with strategy contexts and bounded memory. In: Artemov, S., Nerode, A. (eds.) LFCS 2009. LNCS, vol. 5407, pp. 92\u2013106. Springer, Heidelberg (2008)"},{"key":"5_CR8","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"47","DOI":"10.1007\/978-3-540-93920-7_4","volume-title":"Declarative Agent Languages and Technologies VI","author":"J Broersen","year":"2009","unstructured":"Broersen, J.: A complete STIT logic for knowledge and action, and some of its applications. In: Baldoni, M., Son, T.C., van Riemsdijk, M.B., Winikoff, M. (eds.) DALT 2008. LNCS (LNAI), vol. 5397, pp. 47\u201359. Springer, Heidelberg (2009)"},{"key":"5_CR9","doi-asserted-by":"crossref","unstructured":"Broersen, J.: A stit-logic for extensive form group strategies. In: WI-IAT 2009: Proceedings of the 2009 IEEE\/WIC\/ACM International Joint Conference on Web Intelligence and Intelligent Agent Technology, Washington, DC, USA, pp. 484\u2013487. IEEE Computer Society (2009)","DOI":"10.1109\/WI-IAT.2009.331"},{"key":"5_CR10","unstructured":"Broersen, J.: CTL.STIT: enhancing ATL to express important multi-agent system verification properties. In: Proceedings of the Ninth International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2010). ACM, New York (2010)"},{"issue":"2","key":"5_CR11","doi-asserted-by":"publisher","first-page":"127","DOI":"10.1016\/j.jal.2010.06.002","volume":"9","author":"J Broersen","year":"2011","unstructured":"Broersen, J.: Deontic epistemic stit logic distinguishing modes of mens rea. J. Appl. Logic 9(2), 127\u2013152 (2011)","journal-title":"J. Appl. Logic"},{"issue":"5","key":"5_CR12","doi-asserted-by":"publisher","first-page":"559","DOI":"10.1093\/logcom\/exl025","volume":"16","author":"J Broersen","year":"2006","unstructured":"Broersen, J., Herzig, A., Troquard, N.: Embedding Alternating-time Temporal Logic in strategic STIT logic of agency. J. Logic Comput. 16(5), 559\u2013578 (2006)","journal-title":"J. Logic Comput."},{"issue":"4","key":"5_CR13","doi-asserted-by":"publisher","first-page":"23","DOI":"10.1016\/j.entcs.2006.02.011","volume":"157","author":"J Broersen","year":"2006","unstructured":"Broersen, J., Herzig, A., Troquard, N.: From coalition logic to STIT. Electron. Notes Theor. Comput. Sci. 157(4), 23\u201335 (2006). Proceedings of the Logic and Communication in Multi-Agent Systems (LCMAS 2005)","journal-title":"Electron. Notes Theor. Comput. Sci."},{"key":"5_CR14","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"69","DOI":"10.1007\/11853886_8","volume-title":"Logics in Artificial Intelligence","author":"J Broersen","year":"2006","unstructured":"Broersen, J., Herzig, A., Troquard, N.: A STIT-extension of ATL. In: Fisher, M., van der Hoek, W., Lisitsa, A., Konev, B. (eds.) JELIA 2006. LNCS (LNAI), vol. 4160, pp. 69\u201381. Springer, Heidelberg (2006)"},{"key":"5_CR15","doi-asserted-by":"crossref","unstructured":"Broersen, J., Herzig, A., Troquard, N.: A normal simulation of coalition logic and an epistemic extension. In: Samet, D. (ed.) Proceedings of the Theoretical Aspects Rationality and Knowledge (TARK XI), Brussels, pp. 92\u2013101. ACM Digital Library (2007)","DOI":"10.1145\/1324249.1324264"},{"issue":"3","key":"5_CR16","doi-asserted-by":"publisher","first-page":"261","DOI":"10.3166\/jancl.19.261-290","volume":"19","author":"J Broersen","year":"2009","unstructured":"Broersen, J., Herzig, A., Troquard, N.: What groups do, can do, and know they can do: An analysis in normal modal logics. J. Appl. Non-Class. Logics 19(3), 261\u2013289 (2009)","journal-title":"J. Appl. Non-Class. Logics"},{"key":"5_CR17","series-title":"Lecturer Notes in Computer Science","doi-asserted-by":"publisher","first-page":"93","DOI":"10.1007\/978-3-662-48540-8_4","volume-title":"Models of Strategic Reasoning","author":"N Bulling","year":"2015","unstructured":"Bulling, N., Goranko, V., Jamroga, W.: Logics for reasoning about strategic abilities in multi-player games. In: van Benthem, J., Ghosh, S., Verbrugge, R. (eds.) Models of Strategic Reasoning. LNCS, vol. 8972, pp. 93\u2013136. Springer, Heidelberg (2015)"},{"issue":"4","key":"5_CR18","doi-asserted-by":"crossref","first-page":"389","DOI":"10.3233\/AIC-2010-0481","volume":"23","author":"N Bulling","year":"2010","unstructured":"Bulling, N., Jamroga, W.: Verifying agents with memory is harder than it seemed. AI Commun. 23(4), 389\u2013403 (2010)","journal-title":"AI Commun."},{"key":"5_CR19","first-page":"208","volume":"18\u201319","author":"C Castelfranchi","year":"2003","unstructured":"Castelfranchi, C.: The micro-macro constitution of power. Protosociology 18\u201319, 208\u2013265 (2003)","journal-title":"The micro-macro constitution of power. Protosociology"},{"key":"5_CR20","doi-asserted-by":"publisher","first-page":"613","DOI":"10.2307\/2023443","volume":"61","author":"RM Chisholm","year":"1964","unstructured":"Chisholm, R.M.: The descriptive element in the concept of action. J. Philos. 61, 613\u2013624 (1964)","journal-title":"J. Philos."},{"key":"5_CR21","unstructured":"Elgesem, D.: Action theory and modal logic. Ph.D. thesis, Department of Philosophy, University of Oslo (1993)"},{"issue":"2","key":"5_CR22","first-page":"1","volume":"2","author":"D Elgesem","year":"1997","unstructured":"Elgesem, D.: The modal logic of agency. Nord. J. Philos. Logic 2(2), 1\u201346 (1997)","journal-title":"Nord. J. Philos. Logic"},{"key":"5_CR23","first-page":"996","volume-title":"Handbook of Theoretical Computer Science, Volume B: Formal Models and Semantics, chapter 14","author":"EA Emerson","year":"1990","unstructured":"Emerson, E.A.: Temporal and modal logic. In: van Leeuwen, J. (ed.) Handbook of Theoretical Computer Science, Volume B: Formal Models and Semantics, chapter 14, pp. 996\u20131072. Elsevier Science, Amsterdam (1990)"},{"key":"5_CR24","volume-title":"Many-Dimensional Modal Logics: Theory and Applications","author":"DM Gabbay","year":"2003","unstructured":"Gabbay, D.M., Kurucz, A., Wolter, F., Zakharyachev, M.: Many-Dimensional Modal Logics: Theory and Applications. Elsevier, Amsterdam (2003)"},{"issue":"2","key":"5_CR25","doi-asserted-by":"publisher","first-page":"241","DOI":"10.1023\/B:SYNT.0000024915.66183.d1","volume":"139","author":"V Goranko","year":"2004","unstructured":"Goranko, V., Jamroga, W.: Comparing semantics of logics for multi-agent systems. Synthese 139(2), 241\u2013280 (2004)","journal-title":"Synthese"},{"issue":"1\u20133","key":"5_CR26","doi-asserted-by":"publisher","first-page":"93","DOI":"10.1016\/j.tcs.2005.07.043","volume":"353","author":"V Goranko","year":"2006","unstructured":"Goranko, V., van Drimmelen, G.: Complete axiomatization and decidability of alternating-time temporal logic. Theor. Comput. Sci. 353(1\u20133), 93\u2013117 (2006)","journal-title":"Theor. Comput. Sci."},{"key":"5_CR27","unstructured":"Herzig, A., Lorini, E., Troquard, N.: Action theories. In: Hansson, S.O., Hendricks, V.F. (eds.) Handbook of Formal Philosophy. Springer (2014)"},{"key":"5_CR28","first-page":"133","volume-title":"Advances in Modal Logic","author":"A Herzig","year":"2008","unstructured":"Herzig, A., Schwarzentruber, F.: Properties of logics of individual and group agency. In: Areces, C., Goldblatt, R. (eds.) Advances in Modal Logic, vol. 7, pp. 133\u2013149. College Publications, London (2008)"},{"key":"5_CR29","doi-asserted-by":"crossref","unstructured":"Herzig, A., Troquard, N.: Knowing how to play: Uniform choices in logics of agency. In: Weiss, G., Stone, P. (eds.) 5th International Joint Conference on Autonomous Agents & Multi-Agent Systems (AAMAS 2006), Hakodate, Japan, 8\u201312 Mai 2006, pp. 209\u2013216. ACM Press","DOI":"10.1145\/1160633.1160666"},{"issue":"1","key":"5_CR30","doi-asserted-by":"publisher","first-page":"125","DOI":"10.1023\/A:1026185103185","volume":"75","author":"W Hoek van der","year":"2003","unstructured":"van der Hoek, W., Wooldridge, M.: Cooperation, knowledge, and time: Alternating-time temporal epistemic logic and its applications. Stud. Logica 75(1), 125\u2013157 (2003)","journal-title":"Stud. Logica"},{"key":"5_CR31","doi-asserted-by":"publisher","DOI":"10.1093\/0195134613.001.0001","volume-title":"Agency and Deontic Logic","author":"JF Horty","year":"2001","unstructured":"Horty, J.F.: Agency and Deontic Logic. Oxford University Press, Oxford (2001)"},{"issue":"6","key":"5_CR32","doi-asserted-by":"publisher","first-page":"583","DOI":"10.1007\/BF01306968","volume":"24","author":"JF Horty","year":"1995","unstructured":"Horty, J.F., Belnap, N.: The deliberative STIT: A study of action, omission, ability and obligation. J. Philos. Logic 24(6), 583\u2013644 (1995)","journal-title":"J. Philos. Logic"},{"key":"5_CR33","doi-asserted-by":"publisher","first-page":"311","DOI":"10.1093\/jigpal\/jzr039","volume":"21","author":"E Lorini","year":"2012","unstructured":"Lorini, E., Troquard, N., Herzig, A., Broersen, J.: Grounding power on actions and mental attitudes. Logic J. IGPL 21, 311\u2013331 (2012)","journal-title":"Logic J. IGPL"},{"issue":"1","key":"5_CR34","doi-asserted-by":"publisher","first-page":"149","DOI":"10.1093\/logcom\/12.1.149","volume":"12","author":"M Pauly","year":"2002","unstructured":"Pauly, M.: A modal logic for coalitional power in games. J. Logic Comput. 12(1), 149\u2013166 (2002)","journal-title":"J. Logic Comput."},{"key":"5_CR35","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-010-1268-3","volume-title":"Action Theory and Social Science: Some Formal Models. Synthese Library 120","author":"I P\u00f6rn","year":"1977","unstructured":"P\u00f6rn, I.: Action Theory and Social Science: Some Formal Models. Synthese Library 120. D. Reidel, Dordrecht (1977)"},{"key":"5_CR36","doi-asserted-by":"publisher","DOI":"10.1093\/acprof:oso\/9780198243113.001.0001","volume-title":"Past, Present, and Future","author":"AN Prior","year":"1967","unstructured":"Prior, A.N.: Past, Present, and Future. Clarendon Press, Oxford (1967)"},{"key":"5_CR37","volume-title":"Logic of Action, Special issue of Studia Logica","year":"1992","unstructured":"Segerberg, K. (ed.): Logic of Action, Special issue of Studia Logica, vol. 51:3\/4. Springer, Dordrecht (1992)"},{"key":"5_CR38","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"398","DOI":"10.1007\/978-3-642-33353-8_31","volume-title":"Logics in Artificial Intelligence","author":"N Troquard","year":"2012","unstructured":"Troquard, N., Walther, D.: On satisfiability in ATL with strategy contexts. In: Herzig, A., Mengin, J., del Cerro, L.F. (eds.) JELIA 2012. LNCS, vol. 7519, pp. 398\u2013410. Springer, Heidelberg (2012)"},{"key":"5_CR39","series-title":"International Library of Philosophy and Scientific Method","volume-title":"Norm and Action","author":"GH Wright von","year":"1963","unstructured":"von Wright, G.H.: Norm and Action. International Library of Philosophy and Scientific Method. A Logical Enquiry. Routledge & Kegan Paul, London (1963)"},{"issue":"2","key":"5_CR40","doi-asserted-by":"publisher","first-page":"459","DOI":"10.2307\/2275842","volume":"60","author":"M Xu","year":"1995","unstructured":"Xu, M.: On the basic logic of STIT with a single agent. J. Symbolic Logic 60(2), 459\u2013483 (1995)","journal-title":"J. Symbolic Logic"},{"key":"5_CR41","doi-asserted-by":"publisher","first-page":"1","DOI":"10.2307\/2275595","volume":"61","author":"A Zanardo","year":"1996","unstructured":"Zanardo, A.: Branching-time logic with quantification over branches: The point of view of modal logic. J. Symbolic Logic 61, 1\u201339 (1996)","journal-title":"J. Symbolic Logic"}],"container-title":["Lecture Notes in Computer Science","Models of Strategic Reasoning"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-662-48540-8_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,6,13]],"date-time":"2024-06-13T18:11:21Z","timestamp":1718302281000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-662-48540-8_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783662485392","9783662485408"],"references-count":41,"URL":"https:\/\/doi.org\/10.1007\/978-3-662-48540-8_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2015]]}}}