{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,10]],"date-time":"2026-02-10T04:21:14Z","timestamp":1770697274970,"version":"3.49.0"},"publisher-location":"Berlin, Heidelberg","reference-count":81,"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_4","type":"book-chapter","created":{"date-parts":[[2016,1,8]],"date-time":"2016-01-08T15:32:33Z","timestamp":1452267153000},"page":"93-136","source":"Crossref","is-referenced-by-count":14,"title":["Logics for Reasoning About Strategic Abilities in Multi-player Games"],"prefix":"10.1007","author":[{"given":"Nils","family":"Bulling","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Valentin","family":"Goranko","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Wojciech","family":"Jamroga","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2016,1,9]]},"reference":[{"key":"4_CR1","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-011-3448-4","volume-title":"Effectivity Functions in Social Choice Theory","author":"J Abdou","year":"1991","unstructured":"Abdou, J., Keiding, H.: Effectivity Functions in Social Choice Theory. Kluwer, Netherlands (1991)"},{"issue":"2","key":"4_CR2","doi-asserted-by":"publisher","first-page":"377","DOI":"10.1007\/s11229-005-3875-8","volume":"149","author":"T \u00c5gotnes","year":"2006","unstructured":"\u00c5gotnes, T.: Action and knowledge in alternating-time temporal logic. Synthese 149(2), 377\u2013409 (2006). Section on Knowledge, Rationality and Action","journal-title":"Synthese"},{"key":"4_CR3","first-page":"15","volume-title":"Proceeding of TARK XI","author":"T \u00c5gotnes","year":"2007","unstructured":"\u00c5gotnes, T., Goranko, V., Jamroga, W.: Alternating-time temporal logics with irrevocable strategies. In: Samet, D. (ed.) Proceeding of TARK XI, pp. 15\u201324. ACM, New York (2007)"},{"key":"4_CR4","unstructured":"\u00c5gotnes, T., Goranko, V., Jamroga, W.: Strategic commitment and release in logics for multi-agent systems (extended abstract). Technical report IfI-08-01, Clausthal University of Technology (2008)"},{"issue":"1","key":"4_CR5","doi-asserted-by":"publisher","first-page":"55","DOI":"10.1007\/s10849-008-9075-4","volume":"18","author":"T \u00c5gotnes","year":"2009","unstructured":"\u00c5gotnes, T., Walther, D.: A logic of strategic ability under bounded memory. J. Logic Lang. Inform. 18(1), 55\u201377 (2009)","journal-title":"J. Logic Lang. Inform."},{"key":"4_CR6","doi-asserted-by":"crossref","unstructured":"Alur, R., Henzinger, T.A., Kupferman, O.: Alternating-time temporal logic. In: Proceedings of the FOCS 1997, pp. 100\u2013109. IEEE Computer Society Press (1997)","DOI":"10.1109\/SFCS.1997.646098"},{"key":"4_CR7","series-title":"Lecturer Notes in Computer Science","first-page":"23","volume-title":"COMPOS 1997","author":"O Kupferman","year":"1998","unstructured":"Kupferman, O., Alur, R., Henzinger, T.A.: Alternating-time temporal logic. In: de Roever, W.-P., Pnueli, A., Langmaack, H. (eds.) COMPOS 1997. LNCS, vol. 1536, pp. 23\u201360. Springer, Heidelberg (1998)"},{"key":"4_CR8","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, 672\u2013713 (2002)","journal-title":"J. ACM"},{"issue":"1","key":"4_CR9","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1111\/1467-8586.00138","volume":"54","author":"A Baltag","year":"2002","unstructured":"Baltag, A.: A logic for suspicious players. Bull. Econ. Res. 54(1), 1\u201346 (2002)","journal-title":"Bull. Econ. Res."},{"key":"4_CR10","unstructured":"Baltag, A., Moss, L.S., Solecki, S.: The logic of public announcements, common knowledge and private suspicions. Technical report SEN-R9922, CWI, Amsterdam (1999)"},{"key":"4_CR11","first-page":"13","volume-title":"Logic and the Foundation of Game and Decision Theory (LOFT7), volume 3 of Texts in Logic and Games","author":"A Baltag","year":"2008","unstructured":"Baltag, A., Smets, S.: A qualitative theory of dynamic interactive belief revision. In: Bonanno, G., van der Hoek, W., Wooldridge, M. (eds.) Logic and the Foundation of Game and Decision Theory (LOFT7), volume 3 of Texts in Logic and Games, pp. 13\u201360. Amsterdam University Press, Amsterdam (2008)"},{"issue":"2","key":"4_CR12","doi-asserted-by":"publisher","first-page":"301","DOI":"10.1007\/s11229-009-9559-z","volume":"169","author":"A Baltag","year":"2009","unstructured":"Baltag, A., Smets, S., Zvesper, J.A.: Keep \u2018hoping\u2019 for rationality: A solution to the backward induction paradox. Synthese 169(2), 301\u2013333 (2009)","journal-title":"Synthese"},{"key":"4_CR13","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, 175\u2013199 (1988)","journal-title":"Theoria"},{"key":"4_CR14","first-page":"19","volume-title":"Logic, Game Theory and Social Choice III","author":"J Benthem van","year":"2003","unstructured":"van Benthem, J.: Rational dynamics and epistemic logic in games. In: Vannucci, S. (ed.) Logic, Game Theory and Social Choice III, pp. 19\u201323. ILLC, Amsterdam (2003)"},{"key":"4_CR15","volume-title":"Logic in Games","author":"J Benthem van","year":"2013","unstructured":"van Benthem, J.: Logic in Games. MIT Press, Cambridge (2013)"},{"key":"4_CR16","series-title":"Lecturer Notes in Computer Science","doi-asserted-by":"publisher","first-page":"321","DOI":"10.1007\/978-3-662-48540-8_10","volume-title":"Models of Strategic Reasoning","author":"J Benthem van","year":"2015","unstructured":"van Benthem, J.: Logic of strategies: What and how? In: van Benthem, J., Ghosh, S., Verbrugge, R. (eds.) Models of Strategic Reasoning. LNCS, vol. 8972, pp. 321\u2013332. Springer, Heidelberg (2015)"},{"key":"4_CR17","doi-asserted-by":"publisher","first-page":"309","DOI":"10.1017\/S1357530902000704","volume":"7","author":"G Bonanno","year":"2002","unstructured":"Bonanno, G.: Modal logic and game theory: two alternative approaches. Risk Decis. Policy 7, 309\u2013324 (2002)","journal-title":"Risk Decis. Policy"},{"key":"4_CR18","series-title":"Lecturer Notes in Computer Science","doi-asserted-by":"publisher","first-page":"34","DOI":"10.1007\/978-3-662-48540-8_2","volume-title":"Models of Strategic Reasoning","author":"G Bonanno","year":"2015","unstructured":"Bonanno, G.: Reasoning about strategies and rational play in dynamic games. In: van Benthem, J., Ghosh, S., Verbrugge, R. (eds.) Models of Strategic Reasoning. LNCS, vol. 8972, pp. 34\u201362. Springer, Heidelberg (2015)"},{"key":"4_CR19","doi-asserted-by":"crossref","unstructured":"Brihaye, T., Da Costa, A., Laroussinie, F., Markey, N.: ATL with strategy contexts and bounded memory. Technical report LSV-08-14, ENS Cachan (2008)","DOI":"10.1007\/978-3-540-92687-0_7"},{"key":"4_CR20","unstructured":"Broersen, J.: CTL.STIT: enhancing ATL to express important multi-agent system verification properties. In: Proceedings of the AAMAS 2010, pp. 683\u2013690 (2010)"},{"key":"4_CR21","series-title":"Lecturer Notes in Computer Science","doi-asserted-by":"publisher","first-page":"137","DOI":"10.1007\/978-3-662-48540-8_5","volume-title":"Models of Strategic Reasoning","author":"J Broersen","year":"2015","unstructured":"Broersen, J., Herzig, A.: Using STIT theory to talk about strategies. In: van Benthem, J., Ghosh, S., Verbrugge, R. (eds.) Models of Strategic Reasoning. Lecturer Notes in Computer Science, vol. 8972, pp. 137\u2013173. Springer, Heidelberg (2015)"},{"issue":"5","key":"4_CR22","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. Log. Comput. 16(5), 559\u2013578 (2006)","journal-title":"J. Log. Comput."},{"key":"4_CR23","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/BF00249673","volume":"17","author":"MA Brown","year":"1988","unstructured":"Brown, M.A.: On the logic of ability. J. Philos. Logic 17, 1\u201326 (1988)","journal-title":"J. Philos. Logic"},{"key":"4_CR24","doi-asserted-by":"crossref","unstructured":"Bulling, N.: Modelling and Verifying Abilities of Rational Agents. Ph.D. thesis, Clausthal University of Technology (2010)","DOI":"10.4114\/ia.v14i46.1530"},{"key":"4_CR25","doi-asserted-by":"publisher","first-page":"125","DOI":"10.1007\/978-1-4419-6984-2_5","volume-title":"Specification and Verification of Multi-Agent Systems","author":"N Bulling","year":"2010","unstructured":"Bulling, N., Dix, J., Jamroga, W.: Model checking logics of strategic ability: Complexity. In: Dastani, M., Hindriks, K.V., Meyer, J.-J.C. (eds.) Specification and Verification of Multi-Agent Systems, pp. 125\u2013159. Springer, New York (2010)"},{"key":"4_CR26","unstructured":"Bulling, N., Jamroga, W.: Rational play and rational beliefs under uncertainty. In: Proceedings of AAMAS 2009, pp. 257\u2013264. ACM Press, Budapest, May 2009"},{"issue":"4","key":"4_CR27","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."},{"issue":"3","key":"4_CR28","doi-asserted-by":"publisher","first-page":"474","DOI":"10.1007\/s10458-013-9231-3","volume":"28","author":"N Bulling","year":"2014","unstructured":"Bulling, N., Jamroga, W.: Comparing variants of strategic ability: How uncertainty and memory influence general properties of games. Auton. Agent. Multi-Agent Syst. 28(3), 474\u2013518 (2014)","journal-title":"Auton. Agent. Multi-Agent Syst."},{"issue":"1\u20134","key":"4_CR29","first-page":"51","volume":"53","author":"N Bulling","year":"2009","unstructured":"Bulling, N., Jamroga, W., Dix, J.: Reasoning about temporal properties of rational play. Ann. Math. Artif. Intell. 53(1\u20134), 51\u2013114 (2009)","journal-title":"Ann. Math. Artif. Intell."},{"key":"4_CR30","doi-asserted-by":"crossref","unstructured":"Bulling, N., Jamroga, W., Popovici, M.: ATL* with truly perfect recall: Expressivity and validities. In: Proceedings of the 21st European Conference on Artificial Intelligence (ECAI 2014), pp. 177-182. IOS Press, Prague, August 2014","DOI":"10.3233\/978-1-61499-419-0-177"},{"key":"4_CR31","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"59","DOI":"10.1007\/978-3-540-74407-8_5","volume-title":"CONCUR 2007 \u2013 Concurrency Theory","author":"K Chatterjee","year":"2007","unstructured":"Chatterjee, K., Piterman, N., Henzinger, T.A.: Strategy logic. In: Caires, L., Vasconcelos, V.T. (eds.) CONCUR 2007. LNCS, vol. 4703, pp. 59\u201373. Springer, Heidelberg (2007)"},{"issue":"6","key":"4_CR32","doi-asserted-by":"publisher","first-page":"677","DOI":"10.1016\/j.ic.2009.07.004","volume":"208","author":"K Chatterjee","year":"2010","unstructured":"Chatterjee, K., Henzinger, T.A., Piterman, N.: Strategy logic. Inf. Comput. 208(6), 677\u2013693 (2010)","journal-title":"Inf. Comput."},{"key":"4_CR33","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511621192","volume-title":"Modal Logic: An Introduction","author":"B Chellas","year":"1980","unstructured":"Chellas, B.: Modal Logic: An Introduction. Cambridge University Press, Cambridge (1980)"},{"issue":"6","key":"4_CR34","doi-asserted-by":"publisher","first-page":"563","DOI":"10.1007\/BF01306966","volume":"24","author":"B Chellas","year":"1995","unstructured":"Chellas, B.: On bringing it about. J. Philos. Logic 24(6), 563\u2013571 (1995)","journal-title":"J. Philos. Logic"},{"issue":"2","key":"4_CR35","doi-asserted-by":"publisher","first-page":"244","DOI":"10.1145\/5397.5399","volume":"8","author":"EM Clarke","year":"1986","unstructured":"Clarke, E.M., Emerson, E.A., Sistla, A.P.: Automatic verification of finite-state concurrent systems using temporal logic specifications. ACM Trans. Program. Lang. Syst. 8(2), 244\u2013263 (1986)","journal-title":"ACM Trans. Program. Lang. Syst."},{"issue":"4","key":"4_CR36","doi-asserted-by":"publisher","first-page":"331","DOI":"10.1080\/08839514.2012.652905","volume":"26","author":"R Diaconu","year":"2012","unstructured":"Diaconu, R., Dima, C.: Model-checking alternating-time temporal logic with strategies based on common knowledge is undecidable. Appl. Artif. Intell. 26(4), 331\u2013348 (2012)","journal-title":"Appl. Artif. Intell."},{"key":"4_CR37","unstructured":"Dima, C., Tiplea, F.L.: Model-checking ATL under imperfect information and perfect recall semantics is undecidable (2011). CoRR, abs\/1102.4225"},{"key":"4_CR38","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4020-5839-4","volume-title":"Dynamic Epistemic Logic","author":"H Ditmarsch van","year":"2008","unstructured":"van Ditmarsch, H., van der Hoek, W., Kooi, B.: Dynamic Epistemic Logic. Springer, Dordecht (2008)"},{"key":"4_CR39","doi-asserted-by":"crossref","unstructured":"van Drimmelen, G.: Satisfiability in alternating-time temporal logic. In: Proceedings of LICS 2003, pp. 208\u2013217. IEEE Computer Society Press (2003)","DOI":"10.1109\/LICS.2003.1210060"},{"key":"4_CR40","series-title":"Lecturer Notes in Computer Science","doi-asserted-by":"publisher","first-page":"292","DOI":"10.1007\/978-3-662-48540-8_9","volume-title":"Models of Strategic Reasoning","author":"J Eijck van","year":"2015","unstructured":"van Eijck, J.: Strategies in social software. In: van Benthem, J., Ghosh, S., Verbrugge, R. (eds.) Models of Strategic Reasoning. LNCS, vol. 8972, pp. 292\u2013317. Springer, Heidelberg (2015)"},{"key":"4_CR41","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/5803.001.0001","volume-title":"Reasoning about Knowledge","author":"R Fagin","year":"1995","unstructured":"Fagin, R., Halpern, J.Y., Moses, Y., Vardi, M.Y.: Reasoning about Knowledge. MIT Press, London (1995)"},{"key":"4_CR42","first-page":"259","volume-title":"Proceedings of TARK VIII","author":"V Goranko","year":"2001","unstructured":"Goranko, V.: Coalition games and alternating temporal logics. In: van Benthem, J. (ed.) Proceedings of TARK VIII, pp. 259\u2013272. Morgan Kaufmann, San Francisco (2001)"},{"issue":"2","key":"4_CR43","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"},{"key":"4_CR44","unstructured":"Goranko, V., Jamroga, W.: State and path coalition effectivity models for logics of multi-player games. In: Proceedings of AAMAS 2012 (2012)"},{"key":"4_CR45","unstructured":"Goranko, V., Jamroga, W., Turrini, P.: Strategic games and truly playable effectivity functions. In: Proceedings of AAMAS 2011, pp. 727\u2013734 (2011)"},{"issue":"1","key":"4_CR46","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/1614431.1614434","volume":"11","author":"V Goranko","year":"2009","unstructured":"Goranko, V., Shkatov, D.: Tableau-based decision procedures for logics of strategic ability in multiagent systems. ACM Trans. Comput. Log. 11(1), 1\u201348 (2009)","journal-title":"ACM Trans. Comput. Log."},{"issue":"1","key":"4_CR47","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. Theoret. Comput. Sci. 353(1), 93\u2013117 (2006)","journal-title":"Theoret. Comput. Sci."},{"issue":"1","key":"4_CR48","doi-asserted-by":"publisher","first-page":"93","DOI":"10.3166\/jancl.21.93-131","volume":"21","author":"DP Guelev","year":"2011","unstructured":"Guelev, D.P., Dima, C., Enea, C.: An alternating-time temporal logic with knowledge, perfect recall and past: axiomatisation and model-checking. J. Appl. Non-Class. Logics 21(1), 93\u2013131 (2011)","journal-title":"J. Appl. Non-Class. Logics"},{"key":"4_CR49","first-page":"1","volume-title":"Handbook of Logic in Artificial Intelligence and Logic Programming, vol. 4: Epistemic and Temporal Reasoning","author":"JY Halpern","year":"1995","unstructured":"Halpern, J.Y.: Reasoning about knowledge: a survey. In: Gabbay, D.M., Hogger, C.J., Robinson, J.A. (eds.) Handbook of Logic in Artificial Intelligence and Logic Programming, vol. 4: Epistemic and Temporal Reasoning, pp. 1\u201334. Oxford University Press, Oxford (1995)"},{"issue":"2\u20134","key":"4_CR50","first-page":"281","volume":"57","author":"BP Harrenstein","year":"2003","unstructured":"Harrenstein, B.P., van der Hoek, W., Meyer, J.-J.C., Witteveen, C.: A modal characterization of nash equilibrium. Fundam. Informaticae 57(2\u20134), 281\u2013321 (2003)","journal-title":"Fundam. Informaticae"},{"key":"4_CR51","doi-asserted-by":"publisher","first-page":"19","DOI":"10.1016\/S1574-0005(05)80005-0","volume-title":"Handbook of Game Theory with Economic Applications","author":"S Hart","year":"1992","unstructured":"Hart, S.: Games in extensive and strategic forms. In: Aumann, R.J., Hart, S. (eds.) Handbook of Game Theory with Economic Applications, vol. 1, pp. 19\u201340. Elsevier, North-Holland (1992)"},{"key":"4_CR52","doi-asserted-by":"crossref","unstructured":"van der Hoek, W., Jamroga, W., Wooldridge, M.: A logic for strategic reasoning. In: Proceedings of AAMAS 2005, pp. 157\u2013164 (2005)","DOI":"10.1145\/1082473.1082497"},{"key":"4_CR53","unstructured":"van der Hoek, W., van Otterloo, S., Wooldridge, M.: Preferences in game logics. In: Proceedings of AAMAS-04 (2004)"},{"key":"4_CR54","first-page":"53","volume":"8","author":"W Hoek van der","year":"2002","unstructured":"van der Hoek, W., Verbrugge, R.: Epistemic logic: A survey. Game Theory Appl. 8, 53\u201394 (2002)","journal-title":"Game Theory Appl."},{"key":"4_CR55","doi-asserted-by":"publisher","first-page":"1167","DOI":"10.1145\/545056.545095","volume-title":"Proceeding of AAMAS-02","author":"W Hoek van der","year":"2002","unstructured":"van der Hoek, W., Wooldridge, M.: Tractable multiagent planning for epistemic goals. In: Castelfranchi, C., Johnson, W.L. (eds.) Proceeding of AAMAS-02, pp. 1167\u20131174. ACM Press, New York (2002)"},{"issue":"1","key":"4_CR56","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"},{"issue":"4","key":"4_CR57","doi-asserted-by":"publisher","first-page":"423","DOI":"10.3166\/jancl.17.423-475","volume":"17","author":"W Jamroga","year":"2007","unstructured":"Jamroga, W., \u00c5gotnes, T.: Constructive knowledge: What agents can achieve under incomplete information. J. Appl. Non-Class. Logics 17(4), 423\u2013475 (2007)","journal-title":"J. Appl. Non-Class. Logics"},{"issue":"2\u20133","key":"4_CR58","first-page":"185","volume":"63","author":"W Jamroga","year":"2004","unstructured":"Jamroga, W., van der Hoek, W.: Agents that know how to play. Fundamenta Informaticae 63(2\u20133), 185\u2013219 (2004)","journal-title":"Fundamenta Informaticae"},{"key":"4_CR59","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"512","DOI":"10.1007\/11595014_51","volume-title":"Progress in Artificial Intelligence","author":"W Jamroga","year":"2005","unstructured":"Jamroga, W., Wooldridge, M.J., van der Hoek, W.: Intentions and strategies in game-like scenarios. In: Bento, C., Cardoso, A., Dias, G. (eds.) EPIA 2005. LNCS (LNAI), vol. 3808, pp. 512\u2013523. Springer, Heidelberg (2005)"},{"key":"4_CR60","unstructured":"Jonker, G.: Feasible strategies in Alternating-time Temporal Epistemic Logic. Master thesis, University of Utrecht (2003)"},{"key":"4_CR61","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"193","DOI":"10.1007\/978-3-642-32940-1_15","volume-title":"CONCUR 2012 \u2013 Concurrency Theory","author":"F Mogavero","year":"2012","unstructured":"Mogavero, F., Murano, A., Perelli, G., Vardi, M.Y.: What makes ATL* decidable? a decidable fragment of strategy logic. In: Ulidowski, I., Koutny, M. (eds.) CONCUR 2012. LNCS, vol. 7454, pp. 193\u2013208. Springer, Heidelberg (2012)"},{"key":"4_CR62","first-page":"133","volume-title":"Proceedings of FSTTCS 2010, LIPIcs","author":"F Mogavero","year":"2010","unstructured":"Mogavero, F., Murano, A., Vardi, M.Y.: Reasoning about strategies. In: Lodaya, K., Mahajan, M. (eds.) Proceedings of FSTTCS 2010, LIPIcs, pp. 133\u2013144. Atlantis Press, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik (2010)"},{"key":"4_CR63","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"371","DOI":"10.1007\/978-3-642-17511-4_21","volume-title":"Logic for Programming, Artificial Intelligence, and Reasoning","author":"MY Vardi","year":"2010","unstructured":"Vardi, M.Y., Murano, A., Mogavero, F.: Relentful strategic reasoning in alternating-time temporal logic. In: Voronkov, A., Clarke, E.M. (eds.) LPAR-16 2010. LNCS, vol. 6355, pp. 371\u2013386. Springer, Heidelberg (2010)"},{"issue":"1","key":"4_CR64","doi-asserted-by":"publisher","first-page":"115","DOI":"10.1016\/0304-4068(82)90009-X","volume":"10","author":"H Moulin","year":"1982","unstructured":"Moulin, H., Peleg, B.: Cores of effectivity functions and implementation theory. J. Math. Econ. 10(1), 115\u2013145 (1982)","journal-title":"J. Math. Econ."},{"key":"4_CR65","volume-title":"A Course in Game Theory","author":"M Osborne","year":"1994","unstructured":"Osborne, M., Rubinstein, A.: A Course in Game Theory. MIT Press, Cambridge (1994)"},{"key":"4_CR66","first-page":"35","volume":"126","author":"S Otterloo van","year":"2004","unstructured":"van Otterloo, S., Jonker, G.: On epistemic temporal strategic logic. Electron. Notes Theoret. Comput. Sci. 126, 35\u201345 (2004)","journal-title":"Electron. Notes Theoret. Comput. Sci."},{"key":"4_CR67","unstructured":"van Otterloo, S., Roy, O.: Verification of voting protocols. Working paper, University of Amsterdam (2005)"},{"key":"4_CR68","series-title":"Lecturer Notes in Computer Science","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1007\/978-3-662-48540-8_1","volume-title":"Models of Strategic Reasoning","author":"E Pacuit","year":"2015","unstructured":"Pacuit, E.: Dynamic models of rational deliberation in games. In: van Benthem, J., Ghosh, S., Verbrugge, R. (eds.) Models of Strategic Reasoning. LNCS, vol. 8972, pp. 3\u201333. Springer, Heidelberg (2015)"},{"key":"4_CR69","first-page":"111","volume":"24","author":"R Parikh","year":"1985","unstructured":"Parikh, R.: The logic of games and its applications. Ann. Discrete Math. 24, 111\u2013140 (1985)","journal-title":"Ann. Discrete Math."},{"key":"4_CR70","series-title":"Lecturer Notes in Computer Science","doi-asserted-by":"publisher","first-page":"174","DOI":"10.1007\/978-3-662-48540-8_6","volume-title":"Models of Strategic Reasoning","author":"S Paul","year":"2015","unstructured":"Paul, S., Ramanujam, R., Simon, S.: Automata and compositional strategies in extensive form games. In: van Benthem, J., Ghosh, S., Verbrugge, R. (eds.) Models of Strategic Reasoning. LNCS, vol. 8972, pp. 174\u2013201. Springer, Heidelberg (2015)"},{"key":"4_CR71","unstructured":"Pauly, M.: Logic for Social Software. Ph.D. thesis, University of Amsterdam (2001)"},{"issue":"4","key":"4_CR72","doi-asserted-by":"publisher","first-page":"305","DOI":"10.1111\/1467-8586.00136","volume":"53","author":"M Pauly","year":"2001","unstructured":"Pauly, M.: A logical framework for coalitional effectivity in dynamic procedures. Bull. Econ. Res. 53(4), 305\u2013324 (2001)","journal-title":"Bull. Econ. Res."},{"issue":"1","key":"4_CR73","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":"4_CR74","series-title":"Lecturer Notes in Computer Science","doi-asserted-by":"publisher","first-page":"63","DOI":"10.1007\/978-3-662-48540-8_3","volume-title":"Models of Strategic Reasoning","author":"A Perea","year":"2015","unstructured":"Perea, A.: Finite reasoning procedures for dynamic games. In: van Benthem, J., Ghosh, S., Verbrugge, R. (eds.) Models of Strategic Reasoning. LNCS, vol. 8972, pp. 63\u201390. Springer, Heidelberg (2015)"},{"key":"4_CR75","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"253","DOI":"10.1007\/978-3-540-75596-8_19","volume-title":"Automated Technology for Verification and Analysis","author":"S Pinchinat","year":"2007","unstructured":"Pinchinat, S.: A generic constructive solution for concurrent games with expressive constraints on strategies. In: Okamura, Y., Yoneda, T., Higashino, T., Namjoshi, K.S. (eds.) ATVA 2007. LNCS, vol. 4762, pp. 253\u2013267. Springer, Heidelberg (2007)"},{"key":"4_CR76","first-page":"201","volume-title":"Multiagent Systems: A Modern Approach to Distributed Artificial Intelligence","author":"TW Sandholm","year":"1999","unstructured":"Sandholm, T.W.: Distributed rational decision making. In: Weiss, G. (ed.) Multiagent Systems: A Modern Approach to Distributed Artificial Intelligence, pp. 201\u2013258. The MIT Press, Cambridge (1999)"},{"key":"4_CR77","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"373","DOI":"10.1007\/978-3-540-70583-3_31","volume-title":"Automata, Languages and Programming","author":"S Schewe","year":"2008","unstructured":"Schewe, S.: ATL* satisfiability is 2EXPTIME-Complete. In: Walukiewicz, I., Goldberg, L.A., Halld\u00f3rsson, M.M., Damg\u00e5rd, I., Ing\u00f3lfsd\u00f3ttir, A., Aceto, L. (eds.) ICALP 2008, Part II. LNCS, vol. 5126, pp. 373\u2013385. Springer, Heidelberg (2008)"},{"issue":"2","key":"4_CR78","doi-asserted-by":"publisher","first-page":"82","DOI":"10.1016\/S1571-0661(05)82604-0","volume":"85","author":"PY Schobbens","year":"2004","unstructured":"Schobbens, P.Y.: Alternating-time logic with imperfect recall. Electron. Notes Theoret. Comput. Sci. 85(2), 82\u201393 (2004)","journal-title":"Electron. Notes Theoret. Comput. Sci."},{"key":"4_CR79","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: del Cerro, L.F., Herzig, A., Mengin, J. (eds.) JELIA 2012. LNCS, vol. 7519, pp. 398\u2013410. Springer, Heidelberg (2012)"},{"issue":"6","key":"4_CR80","doi-asserted-by":"publisher","first-page":"765","DOI":"10.1093\/logcom\/exl009","volume":"16","author":"D Walther","year":"2006","unstructured":"Walther, D., Lutz, C., Wolter, F., Wooldridge, M.: ATL satisfiability is indeed EXPTIME-complete. J. Logic Comput. 16(6), 765\u2013787 (2006)","journal-title":"J. Logic Comput."},{"key":"4_CR81","first-page":"269","volume-title":"Proceedings of the TARK XI","author":"D Walther","year":"2007","unstructured":"Walther, D., van der Hoek, W., Wooldridge, M.: Alternating-time temporal logic with explicit strategies. In: Samet, D. (ed.) Proceedings of the TARK XI, pp. 269\u2013278. Presses Universitaires de Louvain, New York (2007)"}],"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_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,1]],"date-time":"2025-06-01T02:43:05Z","timestamp":1748745785000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-662-48540-8_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783662485392","9783662485408"],"references-count":81,"URL":"https:\/\/doi.org\/10.1007\/978-3-662-48540-8_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2015]]}}}