{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,11,12]],"date-time":"2026-11-12T11:47:34Z","timestamp":1794484054974,"version":"4.9.1"},"publisher-location":"Cham","reference-count":96,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783319060248","type":"print"},{"value":"9783319060255","type":"electronic"}],"license":[{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-319-06025-5_16","type":"book-chapter","created":{"date-parts":[[2014,8,26]],"date-time":"2014-08-26T08:47:27Z","timestamp":1409042847000},"page":"451-485","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["Knowledge Games and Coalitional Abilities"],"prefix":"10.1007","author":[{"given":"Thomas","family":"\u00c5gotnes","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Hans","family":"van Ditmarsch","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2014,8,27]]},"reference":[{"key":"16_CR1","doi-asserted-by":"crossref","unstructured":"\u00c5gotnes T (2006) Action and knowledge in alternating-time temporal logic. Synthese (Special Section on Knowledge, Rationality and Action) 149(2):377\u2013409","DOI":"10.1007\/s11229-005-3875-8"},{"key":"16_CR2","unstructured":"\u00c5gotnes T, van Ditmarsch H (2008) Coalitions and announcements. In: Padgham L, Parkes D, Muller J, Parsons S (eds) Proceedings of the 7th AAMAS. IFAMAAS\/ACM DL, pp 673\u2013680"},{"key":"16_CR3","doi-asserted-by":"crossref","unstructured":"\u00c5gotnes T, van Ditmarsch H (2010) What will they say?\u2014public announcement games. Synthese (Special Section on Knowledge, Rationality and Action) (to appear)","DOI":"10.1007\/s11229-010-9838-8"},{"issue":"1","key":"16_CR4","doi-asserted-by":"publisher","first-page":"62","DOI":"10.1016\/j.jal.2008.12.002","volume":"8","author":"T \u00c5gotnes","year":"2010","unstructured":"\u00c5gotnes T, Balbiani P, van Ditmarsch H, Seban P (2010) Group announcement logic. J Appl Logic 8(1):62\u201381","journal-title":"J Appl Logic"},{"issue":"3\u20134","key":"16_CR5","doi-asserted-by":"publisher","first-page":"265","DOI":"10.3166\/jancl.21.265-288","volume":"21","author":"T \u00c5gotnes","year":"2011","unstructured":"\u00c5gotnes T, van Benthem J, van Ditmarsch H, Minica S (2011) Question-answer games. J Appl Non-Class Logics 21(3\u20134):265\u2013288","journal-title":"J Appl Non-Class Logics"},{"key":"16_CR6","doi-asserted-by":"publisher","first-page":"672","DOI":"10.1145\/585265.585270","volume":"49","author":"R Alur","year":"2002","unstructured":"Alur R, Henzinger TA, Kupferman O (2002) Alternating-time temporal logic. J ACM 49:672\u2013713","journal-title":"J ACM"},{"key":"16_CR7","unstructured":"Aucher G (2003) A combined system for update logic and belief revision. Master\u2019s thesis, ILLC, University of Amsterdam, Amsterdam, the Netherlands, ILLC report MoL-2003-03"},{"issue":"5","key":"16_CR8","doi-asserted-by":"publisher","first-page":"1161","DOI":"10.2307\/2171725","volume":"63","author":"R Aumann","year":"1995","unstructured":"Aumann R, Brandenburger A (1995) Epistemic conditions for nash equilibrium. Econometrica 63(5):1161\u20131180","journal-title":"Econometrica"},{"key":"16_CR9","doi-asserted-by":"crossref","unstructured":"Balbiani P, Baltag A, van Ditmarsch H, Herzig A, Hoshi T, de Lima T (2007) What can we achieve by arbitrary announcements? A dynamic take on Fitch\u2019s knowability. In: Samet D (ed) Proceedings of TARK XI. Presses Universitaires de Louvain, Louvain-la-Neuve, Belgium, pp 42\u201351","DOI":"10.1145\/1324249.1324259"},{"issue":"3","key":"16_CR10","doi-asserted-by":"publisher","first-page":"305","DOI":"10.1017\/S1755020308080210","volume":"1","author":"P Balbiani","year":"2008","unstructured":"Balbiani P, Baltag A, van Ditmarsch H, Herzig A, Hoshi T, de Lima T (2008) Knowable\u2019 as known after an announcement. Rev Symbol Logic 1(3):305\u2013334","journal-title":"Rev Symbol Logic"},{"key":"16_CR11","unstructured":"Baltag A, Moss LS, Solecki S (1998) The logic of public announcements, common knowledge, and private suspicions. In: Gilboa I (ed) Proceedings of the 7th conference on theoretical aspects of rationality and knowledge (TARK 98), pp 43\u201356"},{"key":"16_CR12","unstructured":"Baltag A, Smets S (2008) A qualitative theory of dynamic interactive belief revision. In: Proceedings of 7th LOFT, texts in logic and games 3. Amsterdam University Press, pp 13\u201360"},{"key":"16_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 (1988) Seeing to it that: a canonical form for agentives. Theoria 54:175\u2013199","journal-title":"Theoria"},{"issue":"4","key":"16_CR14","doi-asserted-by":"publisher","first-page":"219","DOI":"10.1111\/1467-8586.00133","volume":"53","author":"J van Benthem","year":"2001","unstructured":"van Benthem J (2001) Games in dynamic-epistemic logic. Bull Econ Res 53(4):219\u2013248","journal-title":"Bull Econ Res"},{"issue":"1","key":"16_CR15","doi-asserted-by":"publisher","first-page":"13","DOI":"10.1142\/S0219198907001254","volume":"9","author":"J van Benthem","year":"2007","unstructured":"van Benthem J (2007) Rational dynamics and epistemic logic in games. Int Game Theory Rev 9(1):13\u201345","journal-title":"Int Game Theory Rev"},{"key":"16_CR16","doi-asserted-by":"crossref","unstructured":"van Benthem J (2011) Logical dynamics of information and interaction. Cambridge University Press, Cambridge","DOI":"10.1017\/CBO9780511974533"},{"key":"16_CR17","doi-asserted-by":"crossref","unstructured":"van Benthem J (2012) In praise of strategies. In: van Eijck J, Verbrugge R (eds) Games, actions and social software. LNCS vol 7010. Springer, Berlin pp 96\u2013116","DOI":"10.1007\/978-3-642-29326-9_6"},{"key":"16_CR18","doi-asserted-by":"crossref","unstructured":"van Benthem J (2014) Logic in games. MIT Press, Cambridge","DOI":"10.7551\/mitpress\/9674.001.0001"},{"issue":"1\u20134","key":"16_CR19","doi-asserted-by":"crossref","first-page":"19","DOI":"10.3233\/FI-2010-261","volume":"100","author":"J van Benthem","year":"2010","unstructured":"van Benthem J, Gheerbrant A (2010) Game solution, epistemic dynamics and fixed-point logics. Fundamenta Informaticae 100(1\u20134):19\u201341","journal-title":"Fundamenta Informaticae"},{"issue":"2","key":"16_CR20","doi-asserted-by":"publisher","first-page":"157","DOI":"10.3166\/jancl.17.157-182","volume":"17","author":"J van Benthem","year":"2007","unstructured":"van Benthem J, Liu F (2007) Dynamic logic of preference upgrade. J Appl Non-Class Logics 17(2):157\u2013182","journal-title":"J Appl Non-Class Logics"},{"key":"16_CR21","doi-asserted-by":"crossref","unstructured":"van Benthem J, Minica S (2009) Toward a dynamic logic of questions. In: He X, Horty JF, Pacuit E (eds) Logic, rationality, and interaction. Proceedings of LORI 2009. LNCS, vol 5834. Springer, Berlin, pp 27\u201341","DOI":"10.1007\/978-3-642-04893-7_3"},{"key":"16_CR22","doi-asserted-by":"crossref","unstructured":"van Benthem J (1989) Semantic parallels in natural language and computation. In Logic colloquium \u201987. North-Holland, Amsterdam","DOI":"10.1016\/S0049-237X(08)70133-2"},{"key":"16_CR23","doi-asserted-by":"crossref","unstructured":"van Benthem J (2004) What one may come to know. Analysis 64(2):95\u2013105","DOI":"10.1093\/analys\/64.2.95"},{"key":"16_CR24","doi-asserted-by":"crossref","unstructured":"van Benthem J, van Eijck J, Kooi BP (2006) Logics of communication and change. Inf Comput 204(11):1620\u20131662","DOI":"10.1016\/j.ic.2006.04.006"},{"key":"16_CR25","doi-asserted-by":"crossref","unstructured":"van Benthem J, Gerbrandy JD, Hoshi T, Pacuit E (2009) Merging frameworks for interaction. J Philos Logic 38:491\u2013526","DOI":"10.1007\/s10992-008-9099-x"},{"issue":"6","key":"16_CR26","doi-asserted-by":"publisher","first-page":"1771","DOI":"10.1111\/j.1468-0262.2005.00638.x","volume":"73","author":"D Bergemann","year":"2005","unstructured":"Bergemann D, Morris S (2005) Robust mechanism design. Econometrica 73(6):1771\u20131813","journal-title":"Econometrica"},{"key":"16_CR27","unstructured":"Binmore K (1992) Fun and games: a text on game theory. D. C. Heath and Company, Lexington, MA"},{"key":"16_CR28","doi-asserted-by":"crossref","first-page":"135","DOI":"10.1613\/jair.1234","volume":"21","author":"C Boutilier","year":"2003","unstructured":"Boutilier C, Brafman RI, Domschlak C, Hoos HH, Poole D (2003) CP-nets: a tool for representing and reasoning with conditional ceteris paribus preference statements. J Artif Intell Res 21:135\u2013191","journal-title":"J Artif Intell Res"},{"issue":"2","key":"16_CR29","doi-asserted-by":"publisher","first-page":"137","DOI":"10.1111\/j.0824-7935.2004.00234.x","volume":"20","author":"C Boutilier","year":"2004","unstructured":"Boutilier C, Brafman RI, Hoos HH, Poole D (2004) Preference-based constrained optimization with CP-nets. Comput Intell 20(2):137\u2013157","journal-title":"Comput Intell"},{"key":"16_CR30","unstructured":"Boutilier C, Brafman RI, Hoos HH, Poole D (1999) Reasoning with conditional ceteris paribus preference statements. In: Proceedings of UAI99, pp 71\u201380"},{"issue":"5","key":"16_CR31","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 (2006) Embedding Alternating-time Temporal Logic in Strategic STIT logic of agency. J Logic Comput 16(5):559\u2013578","journal-title":"J Logic Comput"},{"key":"16_CR32","doi-asserted-by":"crossref","unstructured":"Broersen J, Herzig A, Troquard N (2007) A normal simulation of coalition logic and an epistemic extension. In: Proceedings of the 11th conference on theoretical aspects of rationality and knowledge, TARK \u201907. ACM, New York, pp 92\u2013101","DOI":"10.1145\/1324249.1324264"},{"key":"16_CR33","unstructured":"van Ditmarsch H (1999) The logic of knowledge games: showing a card. In: Postma E, Gyssens M (eds) Proceedings of the BNAIC 99. Maastricht University, pp 35\u201342"},{"key":"16_CR34","unstructured":"van Ditmarsch H (2000) Knowledge games. PhD thesis, University of Groningen, ILLC Dissertation Series DS-2000-06"},{"key":"16_CR35","doi-asserted-by":"publisher","first-page":"349","DOI":"10.1023\/A:1015590229647","volume":"11","author":"H van Ditmarsch","year":"2002","unstructured":"van Ditmarsch H (2002) Descriptions of game actions. J Logic Lang Inf 11:349\u2013365","journal-title":"J Logic Lang Inf"},{"key":"16_CR36","first-page":"1","volume-title":"Game theory and applications","author":"H van Ditmarsch","year":"2002","unstructured":"van Ditmarsch H (2002) The description of game actions in Cluedo. In: Petrosian LA, Mazalov VV (eds) Game theory and applications, vol 8. Nova Science Publishers, Commack, NY, USA, pp 1\u201328"},{"issue":"4","key":"16_CR37","doi-asserted-by":"publisher","first-page":"249","DOI":"10.1111\/1467-8586.00134","volume":"53","author":"H van Ditmarsch","year":"2002","unstructured":"van Ditmarsch H (2002) Knowledge games. Bull Econ Res 53(4):249\u2013273","journal-title":"Bull Econ Res"},{"key":"16_CR38","doi-asserted-by":"crossref","unstructured":"van Ditmarsch H (2004) Some game theory of Pit. In: Zhang C, Guesgen HW, Yeap WK (eds) Proceedings of PRICAI 2004 (Eighth pacific rim international conference on artificial intelligence). LNAI, vol 3157. Springer, Berlin, pp 946\u2013947","DOI":"10.1007\/978-3-540-28633-2_107"},{"key":"16_CR39","doi-asserted-by":"crossref","unstructured":"van Ditmarsch H (2005) Prolegomena to dynamic logic for belief revision. Synthese 147:229\u2013275 (Knowledge, Rationality and Action)","DOI":"10.1007\/s11229-005-1349-7"},{"key":"16_CR40","first-page":"87","volume":"7","author":"H van Ditmarsch","year":"2006","unstructured":"van Ditmarsch H (2006) Serious play. Junctures 7:87\u201398 The Journal for Thematic Dialogue","journal-title":"Junctures"},{"key":"16_CR41","doi-asserted-by":"crossref","unstructured":"van Ditmarsch H (2006) The logic of pit. Synthese 149(2):343\u2013375 (Knowledge, Rationality and Action)","DOI":"10.1007\/s11229-005-4331-5"},{"key":"16_CR42","doi-asserted-by":"crossref","unstructured":"van Ditmarsch H, Ghosh S, Verbrugge R, Wang Y (2011) Hidden protocols. In: Apt KR (ed) Proceedings of 13th TARK, pp 65\u201374","DOI":"10.1145\/2000378.2000386"},{"key":"16_CR43","doi-asserted-by":"crossref","unstructured":"van Ditmarsch H, van der Hoek W, Kooi BP (2005) Dynamic epistemic logic with assignment. In: Proceedings of the fourth international joint conference on autonomous agents and multi-agent systems (AAMAS 05). ACM Inc., New York, pp 141\u2013148","DOI":"10.1145\/1082473.1082495"},{"key":"16_CR44","doi-asserted-by":"crossref","unstructured":"van Ditmarsch H, van der Hoek W, Kooi BP (2007) Dynamic epistemic logic. Synthese library series, vol 337. Springer, Berlin","DOI":"10.1007\/978-1-4020-5839-4"},{"key":"16_CR45","unstructured":"van Ditmarsch H, Lang J, Saffidine A (2013) Strategic voting and the logic of knowledge. In: Proceedings of 14th TARK\u2014Chennai"},{"key":"16_CR46","doi-asserted-by":"publisher","first-page":"201","DOI":"10.1007\/s11229-005-3384-9","volume":"151","author":"H van Ditmarsch","year":"2006","unstructured":"van Ditmarsch H, Kooi B (2006) The secret of my success. Synthese 151:201\u2013232","journal-title":"Synthese"},{"issue":"1","key":"16_CR47","doi-asserted-by":"publisher","first-page":"50","DOI":"10.1016\/j.jal.2005.08.003","volume":"4","author":"C Dixon","year":"2006","unstructured":"Dixon C (2006) Using temporal logics of knowledge for specification and verification-a case study. J Appl Logic 4(1):50\u201378","journal-title":"J Appl Logic"},{"issue":"3\u20134","key":"16_CR48","first-page":"119","volume":"154","author":"HHLM Donkers","year":"2003","unstructured":"Donkers HHLM, Uiterwijk JWHM, van den Herik HJ (2003) Admissibility in opponent-model search. Inf Sci Inf Comput Sci 154(3\u20134):119\u2013140","journal-title":"Inf Sci Inf Comput Sci"},{"issue":"4","key":"16_CR49","doi-asserted-by":"publisher","first-page":"362","DOI":"10.1002\/malq.200810021","volume":"55","author":"E Elkind","year":"2009","unstructured":"Elkind E, Goldberg LA, Goldberg P, Wooldridge M (2009) A tractable and expressive class of marginal contribution nets and its applications. Math Logic Q 55(4):362\u2013376","journal-title":"Math Logic Q"},{"key":"16_CR50","first-page":"996","volume-title":"Handbook of theoretical computer science volume B: formal models and semantics","author":"EA Emerson","year":"1990","unstructured":"Emerson EA (1990) Temporal and modal logic. In: van Leeuwen J (ed) Handbook of theoretical computer science volume B: formal models and semantics. Elsevier Science Publishers B.V, Amsterdam, The Netherlands, pp 996\u20131072"},{"key":"16_CR51","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 JY, Moses Y, Vardi MY (1995) Reasoning about knowledge. The MIT Press, Cambridge, MA"},{"issue":"5","key":"16_CR52","doi-asserted-by":"publisher","first-page":"77","DOI":"10.1145\/229459.229469","volume":"39","author":"R Fagin","year":"1996","unstructured":"Fagin R, Naor M, Winkler P (1996) Comparing information without leaking it. Commun ACM 39(5):77\u201385","journal-title":"Commun ACM"},{"issue":"2","key":"16_CR53","doi-asserted-by":"publisher","first-page":"71","DOI":"10.1007\/s001459900004","volume":"9","author":"MJ Fischer","year":"1996","unstructured":"Fischer MJ, Wright RN (1996) Bounds on secret key exchange using a random deal of cards. J Cryptology 9(2):71\u201399","journal-title":"J Cryptology"},{"issue":"2","key":"16_CR54","doi-asserted-by":"publisher","first-page":"135","DOI":"10.2307\/2271594","volume":"28","author":"FB Fitch","year":"1963","unstructured":"Fitch FB (1963) A logical analysis of some value concepts. J Symbol Logic 28(2):135\u2013142","journal-title":"J Symbol Logic"},{"key":"16_CR55","unstructured":"French T, van Ditmarsch HP (2008) Undecidability for arbitrary public announcement logic. In: Areces C, Goldblatt R (eds) Advances in modal logic. College Publications, pp 23\u201342"},{"key":"16_CR56","unstructured":"Gerbrandy JD (1999) Bisimulations on Planet Kripke. PhD thesis, University of Amsterdam, ILLC Dissertation Series DS-1999-01"},{"key":"16_CR57","doi-asserted-by":"publisher","first-page":"147","DOI":"10.1023\/A:1008222603071","volume":"6","author":"JD Gerbrandy","year":"1997","unstructured":"Gerbrandy JD, Groeneveld W (1997) Reasoning about information change. J Logic Lang Inf 6:147\u2013169","journal-title":"J Logic Lang Inf"},{"key":"16_CR58","unstructured":"Ghosh S, van Benthem J, Verbrugge R (ed) (2013) Modeling strategic reasoning (to appear)"},{"key":"16_CR59","unstructured":"Goranko V, Jamroga W, Turrini P (2010) Strategic games and truly playable effectivity functions. In: Proceedings of the 8th European workshop on multi-agent systems, Paris, France"},{"key":"16_CR60","doi-asserted-by":"crossref","unstructured":"Harel D (1984) Dynamic logic. In: Gabbay D, Guenthner F (eds) Handbook of philosophical logic, vol II: Extensions of classical logic, volume 165 of Synthese Library, chapter II.10. D. Reidel Publishing Co., Dordrecht, pp 497\u2013604","DOI":"10.1007\/978-94-009-6259-0_10"},{"key":"16_CR61","unstructured":"Harrenstein P (2004) Logic in conflict. PhD thesis, Utrecht University"},{"key":"16_CR62","first-page":"287","volume-title":"Proceeding of the eighth conference on theoretical aspects of rationality and knowledge (TARK VIII)","author":"P Harrenstein","year":"2001","unstructured":"Harrenstein P, van der Hoek W, Meyer J-JCh, Witteveen C (2001) Boolean games. In: van Benthem J (ed) Proceeding of the eighth conference on theoretical aspects of rationality and knowledge (TARK VIII). Siena, Italy, pp 287\u2013298"},{"key":"16_CR63","doi-asserted-by":"crossref","unstructured":"Harsanyi JC (1967\u20131968) Games with incomplete information played by \u2019Bayesian\u2019 players, parts I, II, and III. Manag Sci 14:159\u2013182, 320\u2013334, 486\u2013502","DOI":"10.1287\/mnsc.14.5.320"},{"key":"16_CR64","doi-asserted-by":"crossref","unstructured":"Herzig A, Troquard N (2006) Knowing how to play: uniform choices in logics of agency. In: Proceedings of AAMAS\u201906, pp 209\u2013216","DOI":"10.1145\/1160633.1160666"},{"key":"16_CR65","volume-title":"Knowledge and belief","author":"J Hintikka","year":"1962","unstructured":"Hintikka J (1962) Knowledge and belief. Cornell University Press, Ithaca, NY"},{"key":"16_CR66","unstructured":"van der Hoek W, Pauly M (2006) Modal logic for games and information. In: van Benthem J, Blackburn P, Wolter F (eds) The handbook of modal logic. Elsevier, Amsterdam, The Netherlands, pp 1152\u20131180"},{"key":"16_CR67","doi-asserted-by":"publisher","first-page":"125","DOI":"10.1023\/A:1026185103185","volume":"75","author":"W van der Hoek","year":"2003","unstructured":"van der Hoek W, Wooldridge M (2003) Cooperation, knowledge and time: Alternating-time temporal epistemic logic and its applications. Studia Logica 75:125\u2013157","journal-title":"Studia Logica"},{"issue":"1","key":"16_CR68","doi-asserted-by":"publisher","first-page":"193","DOI":"10.1257\/jep.10.1.193","volume":"10","author":"CA Holt","year":"1996","unstructured":"Holt CA (1996) Trading in a pit market. J Econ Perspect 10(1):193\u2013203","journal-title":"J Econ Perspect"},{"key":"16_CR69","doi-asserted-by":"crossref","unstructured":"Ieong S, Shoham Y (2005) Marginal contribution nets: a compact representation scheme for coalitional games. In: Proceedings of the sixth ACM conference on electronic commerce (EC\u201905), Vancouver, Canada","DOI":"10.1145\/1064009.1064030"},{"key":"16_CR70","unstructured":"Jamroga W (2003) Some remarks on alternating temporal epistemic logic. In: Proceedings on FAMAS\u201903\u2014Formal approaches to multi-agent systems. Warsaw, Poland, pp 133\u2013140"},{"key":"16_CR71","doi-asserted-by":"crossref","unstructured":"Jamroga W, \u00c5gotnes T (2007) Constructive knowledge: what agents can achieve under imperfect information. J Appl Non-Class Logics 17(4):423\u2013475","DOI":"10.3166\/jancl.17.423-475"},{"key":"16_CR72","doi-asserted-by":"crossref","unstructured":"Jamroga W, \u00c5gotnes V (2006) What agents can achieve under incomplete information. In: Proceedings of AAMAS\u201906. ACM Press, pp 232\u2013234","DOI":"10.1145\/1160633.1160672"},{"key":"16_CR73","unstructured":"Jamroga W, Dix J (2006) Model checking ATL$$_{ir}$$ is indeed $$\\Delta _2^P$$-complete. In: Proceedings of EUMAS\u201906"},{"key":"16_CR74","unstructured":"Jamroga W, van der Hoek W (2004) Agents that know how to play. Fundamenta Informaticae 63:185\u2013219"},{"key":"16_CR75","unstructured":"Jonker G (2003) Feasible strategies in alternating-time temporal epistemic logic. Master thesis, University of Utrecht"},{"key":"16_CR76","unstructured":"Lang J, Endriss U, Chevaleyre Y (2006) Expressive power of weighted propositional formulas for cardinal preference modelling. In: Proceedings of knowledge representation and reasoning (KR 2006), Lake District, England"},{"key":"16_CR77","first-page":"103","volume-title":"Knowledge and belief in philosophy and artificial intelligence","author":"B van Linder","year":"1995","unstructured":"van Linder B, van der Hoek W, Meyer J-JCh (1995) Actions that make you change your mind. In: Laux A, Wansing H (eds) Knowledge and belief in philosophy and artificial intelligence. Akademie, Berlin, pp 103\u2013146"},{"key":"16_CR78","doi-asserted-by":"crossref","unstructured":"Liu F, Wang Y (2012) Reasoning about agent types and the hardest logic puzzle ever. Minds and Machines (Published online first)","DOI":"10.1007\/s11023-012-9287-x"},{"key":"16_CR79","doi-asserted-by":"publisher","unstructured":"Masuzawa T, Hasebe K (2011) Iterative information update and stability of strategies. Synthese 179(1):87\u2013102. doi:10.1007\/s11229-010-9835-y","DOI":"10.1007\/s11229-010-9835-y"},{"key":"16_CR80","doi-asserted-by":"crossref","unstructured":"Meyer J-J Ch, van der Hoek W (1995) Epistemic logic for AI and computer science. Cambridge University Press, Cambridge, England","DOI":"10.1017\/CBO9780511569852"},{"key":"16_CR81","unstructured":"Moore RC (1984) A formal theory of knowledge and action. In: Hobbs J, Moore RC (eds) Formal theories of the commonsense World. Ablex Publishing Corp., Norwood, NJ"},{"key":"16_CR82","first-page":"257","volume":"26","author":"E Neuwirth","year":"1982","unstructured":"Neuwirth E (1982) Some strategies for mastermind. Zeitschrift f\u00fcr Operat Res 26:257\u2013278","journal-title":"Zeitschrift f\u00fcr Operat Res"},{"key":"16_CR83","volume-title":"A course in game theory","author":"MJ Osborne","year":"1994","unstructured":"Osborne MJ, Rubinstein A (1994) A course in game theory. The MIT Press, Cambridge, MA"},{"key":"16_CR84","doi-asserted-by":"crossref","unstructured":"van Otterloo S, Jonker G (2005) On epistemic temporal strategic logic. Electron Notes Theoret Comput Sci 126:77\u201392 (Proceedings of the 2nd International Workshop on Logic and Communication in Multi-Agent Systems)","DOI":"10.1016\/j.entcs.2004.11.014"},{"issue":"1","key":"16_CR85","doi-asserted-by":"publisher","first-page":"149","DOI":"10.1093\/logcom\/12.1.149","volume":"12","author":"M Pauly","year":"2002","unstructured":"Pauly M (2002) A modal logic for coalitional power in games. J Logic Comput 12(1):149\u2013166","journal-title":"J Logic Comput"},{"key":"16_CR86","unstructured":"Plaza JA (1989) Logics of public communications. In: Emrich ML, Pfeifer MS, Hadzikadic M, Ras ZW (eds) Proceedings of the 4th international symposium on methodologies for intelligent systems: poster session program, pp 201\u2013216. Oak Ridge National Laboratory, ORNL\/DSRD-24"},{"key":"16_CR87","doi-asserted-by":"crossref","unstructured":"Purvis M, Nowostawski M, Cranefield S, Oliveira M (2004) Multi-agent interaction technology for peer-to-peer computing in electronic trading environments. In: Moro G, Sartori C, Singh M (eds) AP2PC. Lecture notes in computer science, vol 2872. Springer, Berlin, pp 150\u2013161","DOI":"10.1007\/978-3-540-25840-7_16"},{"issue":"5","key":"16_CR88","doi-asserted-by":"publisher","first-page":"177","DOI":"10.2307\/2022451","volume":"53","author":"WV Quine","year":"1956","unstructured":"Quine WV (1956) Quantifiers and propositional attitudes. J Philos 53(5):177\u2013187","journal-title":"J Philos"},{"key":"16_CR89","unstructured":"Renardel de Lavalette GR (1999) Memories and knowledge games. In: Gerbrandy J, Marx M, de Rijke M, Venema Y (eds) JFAK. Essays Dedicated to Johan van Benthem on the occasion of his 50th birthday. Amsterdam University Press, Amsterdam"},{"key":"16_CR90","doi-asserted-by":"crossref","unstructured":"Schobbens PY (2004) Alternating-time logic with imperfect recall. Electron Notes Theoret Comput Sci 85(2):82\u201393","DOI":"10.1016\/S1571-0661(05)82604-0"},{"key":"16_CR91","doi-asserted-by":"publisher","first-page":"49","DOI":"10.1007\/BF01079205","volume":"37","author":"R Stalnaker","year":"1994","unstructured":"Stalnaker R (1994) On the evaluation of solution concepts. Theory Decis 37:49\u201373. doi:10.1007\/BF01079205","journal-title":"Theory Decis"},{"issue":"4","key":"16_CR92","doi-asserted-by":"publisher","first-page":"341","DOI":"10.1002\/malq.200810024","volume":"55","author":"J Uckelman","year":"2009","unstructured":"Uckelman J, Chevaleyre Y, Endriss U, Lang J (2009) Representing utility functions via weighted goals. Math Logic Q 55(4):341\u2013361","journal-title":"Math Logic Q"},{"key":"16_CR93","unstructured":"Winkler P (1981) My night at the cryppie club. Bridge Magazine, August 1981:60\u201363. http:\/\/www.math.dartmouth.edu\/ pw\/cryppie.htm"},{"key":"16_CR94","doi-asserted-by":"crossref","unstructured":"W\u00f6lfl S (2004) Qualitative action theory: a comparison of the semantics of alternating-time temporal logic and the Kutschera-Belnap approach to agency. In: Proceedings of JELIA\u201904, vol 3229. Lecture notes in artificial intelligence. Springer, Berlin, pp 70\u201381","DOI":"10.1007\/978-3-540-30227-8_9"},{"key":"16_CR95","volume-title":"An essay in modal logic","author":"GH von Wright","year":"1951","unstructured":"von Wright GH (1951) An essay in modal logic. North Holland, Amsterdam"},{"key":"16_CR96","unstructured":"Zantema H (2007) De achterkant van SUDOKU. In: Gottmer H, NL (ed) Dutch. Translation of title: \u2018The Backside of Sudoku\u2019"}],"container-title":["Outstanding Contributions to Logic","Johan van Benthem on Logic and Information Dynamics"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-06025-5_16","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,4]],"date-time":"2025-05-04T06:26:48Z","timestamp":1746340008000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-06025-5_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319060248","9783319060255"],"references-count":96,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-06025-5_16","relation":{"is-part-of":[{"id-type":"doi","id":"https:\/\/doi.org\/10.1007\/978-3-319-06025-5","asserted-by":"object"}]},"ISSN":["2211-2758","2211-2766"],"issn-type":[{"value":"2211-2758","type":"print"},{"value":"2211-2766","type":"electronic"}],"subject":[],"published":{"date-parts":[[2014]]},"assertion":[{"value":"27 August 2014","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}