{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T13:32:44Z","timestamp":1742995964680,"version":"3.40.3"},"publisher-location":"Cham","reference-count":29,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319060248"},{"type":"electronic","value":"9783319060255"}],"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_18","type":"book-chapter","created":{"date-parts":[[2014,8,26]],"date-time":"2014-08-26T12:47:27Z","timestamp":1409057247000},"page":"509-528","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["Logical Player Types for a Theory of Play"],"prefix":"10.1007","author":[{"given":"R.","family":"Ramanujam","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2014,8,27]]},"reference":[{"key":"18_CR1","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 (2009) A logic of strategic ability under bounded memory. J Logic Lang Inf 18:55\u201377","journal-title":"J Logic Lang Inf"},{"key":"18_CR2","doi-asserted-by":"crossref","unstructured":"Aumann R, Dreze JH (2005) When all is said and done, how should you play and what should you expect? http:\/\/www.ma.huji.ac.il\/raumann\/pdf\/dp-387.pdf","DOI":"10.2139\/ssrn.880391"},{"key":"18_CR3","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 (2009) Keep hoping for rationality: a solution to the backward induction paradox. Synthese 169:301\u2013333","journal-title":"Synthese"},{"key":"18_CR4","doi-asserted-by":"publisher","first-page":"188","DOI":"10.1006\/jeth.1999.2555","volume":"88","author":"P Battigalli","year":"1999","unstructured":"Battigalli P, Sinisalchi M (1999) Hierarchies of conditional beliefs and interactive epistemology in dynamic games. J Econ Theory 88:188\u2013230","journal-title":"J Econ Theory"},{"key":"18_CR5","doi-asserted-by":"crossref","unstructured":"van Benthem J (2009) Decisions, actions, and games: a logical perspective. In: Third Indian conference on logic and applications, pp 1\u201322","DOI":"10.1007\/978-3-540-92701-3_1"},{"key":"18_CR6","doi-asserted-by":"crossref","unstructured":"van Benthem J (2011) Exploring a theory of play. In: TARK, pp 12\u201316","DOI":"10.1145\/2000378.2000380"},{"key":"18_CR7","doi-asserted-by":"crossref","unstructured":"van Benthem J (2012) In praise of strategies. In: Games, actions, and social software. LNCS, vol 7010. Springer, Berlin, pp 96\u2013116","DOI":"10.1007\/978-3-642-29326-9_6"},{"key":"18_CR8","doi-asserted-by":"crossref","unstructured":"van Benthem J (2013) Logic in games. Forthcoming book","DOI":"10.7551\/mitpress\/9674.001.0001"},{"key":"18_CR9","doi-asserted-by":"publisher","first-page":"163","DOI":"10.4000\/philosophiascientiae.571","volume":"8","author":"J van Benthem","year":"2004","unstructured":"van Benthem J, Liu F (2004) Diversity of logical agents in games. Philosophia Scientiae 8:163\u2013178","journal-title":"Philosophia Scientiae"},{"key":"18_CR10","doi-asserted-by":"publisher","first-page":"52","DOI":"10.3390\/g2010052","volume":"2","author":"J van Benthem","year":"2011","unstructured":"van Benthem J, Pacuit E, Roy O (2011) Toward a theory of play: a logical perspective on games and interaction. Games 2:52\u201386","journal-title":"Games"},{"key":"18_CR11","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4020-9906-9","volume-title":"Explaining games: the epistemic program in game theory. Synthese Library","author":"B de Bruin","year":"2010","unstructured":"de Bruin B (2010) Explaining games: the epistemic program in game theory. Synthese Library. Springer, New York"},{"key":"18_CR12","doi-asserted-by":"publisher","first-page":"295","DOI":"10.1090\/S0002-9947-1969-0280205-0","volume":"138","author":"JR B\u00fcchi","year":"1969","unstructured":"B\u00fcchi JR, Landweber LH (1969) Solving sequential conditions by finite-state strategies. Trans Am Math Soc 138:295\u2013311","journal-title":"Trans Am Math Soc"},{"key":"18_CR13","doi-asserted-by":"crossref","unstructured":"Fortnow L, Whang D (1994) Optimality and domination in repeated games with bounded players. In: Proceedings of the twenty-sixth annual ACM symposium on theory of computing. ACM, pp 741\u2013749","DOI":"10.1145\/195058.195448"},{"key":"18_CR14","unstructured":"Ghosh S (2008) Strategies made explicit in dynamic game logic. In: Proceedings of the workshop on logic and intelligent interaction, ESSLLI, pp 74\u201381"},{"key":"18_CR15","doi-asserted-by":"crossref","unstructured":"Gr\u00e4del E, Thomas W, Wilke T (ed) (2002) Automata, logics and infinite games. Lecture notes in computer science, vol 2500. Springer, Berlin","DOI":"10.1007\/3-540-36387-4"},{"key":"18_CR16","doi-asserted-by":"publisher","first-page":"425","DOI":"10.1006\/game.2000.0838","volume":"37","author":"J Halpern","year":"2001","unstructured":"Halpern J (2001) Substantive rationality and backward induction. Games Econ Behav 37:425\u2013435","journal-title":"Games Econ Behav"},{"key":"18_CR17","doi-asserted-by":"crossref","unstructured":"van der Hoek W, Jamroga W, Wooldridge M (2005) A logic for strategic reasoning. In: Proceedings of the fourth international joint conference on autonomous agents and multi-agent systems, pp 157\u2013164","DOI":"10.1145\/1082473.1082497"},{"key":"18_CR18","doi-asserted-by":"crossref","unstructured":"Hoshi T, Isaac A (2011) Taking mistakes seriously: equivalence notions for game scenarios with off equilibrium play. In: LORI-III, pp 111\u2013124","DOI":"10.1007\/978-3-642-24130-7_8"},{"issue":"2\u20133","key":"18_CR19","first-page":"185","volume":"63","author":"W Jamroga","year":"2004","unstructured":"Jamroga W, van der Hoek W (2004) Agents that know how to play. Fundamenta Informaticae 63(2\u20133):185\u2013219","journal-title":"Fundamenta Informaticae"},{"key":"18_CR20","doi-asserted-by":"crossref","unstructured":"Liu F, Wang Y (2013) Reasoning about agent types and the hardest logic puzzle ever. Minds Mach 23(1):123\u2013161","DOI":"10.1007\/s11023-012-9287-x"},{"key":"18_CR21","first-page":"111","volume":"24","author":"R Parikh","year":"1985","unstructured":"Parikh R (1985) The logic of games and its applications. Ann Discrete Math 24:111\u2013140","journal-title":"Ann Discrete Math"},{"key":"18_CR22","doi-asserted-by":"crossref","unstructured":"Paul S, Ramanujam R, Simon S (2009) Stability under strategy switching. In: Proceedings of the 5th conference on computability in Europe, CiE 2009. LNCS, vol 5635. Springer, Berlin, pp 389\u2013398","DOI":"10.1007\/978-3-642-03073-4_40"},{"key":"18_CR23","doi-asserted-by":"publisher","first-page":"1029","DOI":"10.2307\/1911197","volume":"52","author":"DG Pearce","year":"1984","unstructured":"Pearce DG (1984) Rationalizable strategic behaviour and the problem of perfection. Econometrica 52:1029\u20131050","journal-title":"Econometrica"},{"key":"18_CR24","doi-asserted-by":"publisher","first-page":"168","DOI":"10.3390\/g1030168","volume":"1","author":"A Perea","year":"2010","unstructured":"Perea A (2010) Backward induction versus forward induction reasoning. Games 1:168\u2013188","journal-title":"Games"},{"key":"18_CR25","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511844072","volume-title":"Epistemic game theory. Reasoning and choice","author":"A Perea","year":"2012","unstructured":"Perea A (2012) Epistemic game theory. Reasoning and choice. Cambridge University Press, Cambridge"},{"key":"18_CR26","unstructured":"Ramanujam R, Simon S (2008) A logical structure for strategies. In: Logic and the foundations of game and decision theory (loft 7), volume 3 of texts in logic and games. Amsterdam University Press, pp. 183\u2013208 (an initial version appeared in the proceedings of the 7th conference on logic and the foundations of game and decision theory (LOFT06) under the title Axioms for composite, strategies, pp 189\u2013198)"},{"key":"18_CR27","unstructured":"Ramanujam R, Simon S (2008) Dynamic logic on games with structured strategies. In: Proceedings of the 11th international conference on principles of knowledge representation and reasoning (KR-08). AAAI Press, pp 49\u201358"},{"key":"18_CR28","doi-asserted-by":"publisher","first-page":"909","DOI":"10.2307\/2938166","volume":"59","author":"A Rubinstein","year":"1991","unstructured":"Rubinstein A (1991) Comments on the interpretation of game theory. Econometrica 59:909\u2013924","journal-title":"Econometrica"},{"key":"18_CR29","doi-asserted-by":"crossref","unstructured":"Walther D, van der Hoek W, Wooldridge M (2007) Alternating-time temporal logic with explicit strategies. In: Proceedings of the 11th conference on theoretical aspects of rationality and knowledge (TARK-2007), pp 269\u2013278","DOI":"10.1145\/1324249.1324285"}],"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_18","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,1,21]],"date-time":"2023-01-21T01:31:56Z","timestamp":1674264716000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-06025-5_18"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319060248","9783319060255"],"references-count":29,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-06025-5_18","relation":{},"ISSN":["2211-2758","2211-2766"],"issn-type":[{"type":"print","value":"2211-2758"},{"type":"electronic","value":"2211-2766"}],"subject":[],"published":{"date-parts":[[2014]]},"assertion":[{"value":"27 August 2014","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}