{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:28:26Z","timestamp":1750307306481,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":30,"publisher":"ACM","license":[{"start":{"date-parts":[[2011,7,12]],"date-time":"2011-07-12T00:00:00Z","timestamp":1310428800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2011,7,12]]},"DOI":"10.1145\/2000378.2000380","type":"proceedings-article","created":{"date-parts":[[2011,7,15]],"date-time":"2011-07-15T12:25:09Z","timestamp":1310732709000},"page":"12-16","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":8,"title":["Exploring a theory of play"],"prefix":"10.1145","author":[{"given":"Johan","family":"van Benthem","sequence":"first","affiliation":[{"name":"Universiteit van Amsterdam, Stanford University"}]}],"member":"320","published-online":{"date-parts":[[2011,7,12]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.5555\/1972520"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0899-8256(05)80015-6"},{"key":"e_1_3_2_1_3_1","series-title":"Texts in Logic and Games","first-page":"13","volume-title":"Logic and the Foundations of Game and Decision Theory (LOFT7)","author":"Baltag A.","year":"2008","unstructured":"A. Baltag and S. Smets . A qualitative theory of dynamic interactive belief revision . In G. Bonanno, W. van der Hoek, and M. Wooldridge, editors, Logic and the Foundations of Game and Decision Theory (LOFT7) , volume 3 of Texts in Logic and Games , pages 13 -- 60 . Amsterdam University Press , Amsterdam, The Netherlands, 2008 . A. Baltag and S. Smets. A qualitative theory of dynamic interactive belief revision. In G. Bonanno, W. van der Hoek, and M. Wooldridge, editors, Logic and the Foundations of Game and Decision Theory (LOFT7), volume 3 of Texts in Logic and Games, pages 13--60. Amsterdam University Press, Amsterdam, The Netherlands, 2008."},{"key":"e_1_3_2_1_4_1","first-page":"41","volume-title":"Heifetz {16}","author":"Baltag A.","unstructured":"A. Baltag and S. Smets . Group belief dynamics under iterated revision: fixed points and cycles of joint upgrades . In Heifetz {16} , pages 41 -- 50 . 10.1145\/1562814.1562824 A. Baltag and S. Smets. Group belief dynamics under iterated revision: fixed points and cycles of joint upgrades. In Heifetz {16}, pages 41--50. 10.1145\/1562814.1562824"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1007\/s11229-009-9559-z"},{"key":"e_1_3_2_1_6_1","first-page":"381","volume-title":"Common knowledge and backward induction: A solution to the paradox","author":"Bicchieri C.","year":"1988","unstructured":"C. Bicchieri . Common knowledge and backward induction: A solution to the paradox . In M. Y. Vardi, editor, TARK, pages 381 -- 393 . Morgan Kaufmann , 1988 . C. Bicchieri. Common knowledge and backward induction: A solution to the paradox. In M. Y. Vardi, editor, TARK, pages 381--393. Morgan Kaufmann, 1988."},{"key":"e_1_3_2_1_7_1","volume-title":"Stern School of Business","author":"Brandenburger A.","year":"2007","unstructured":"A. Brandenburger . Forward induction . Stern School of Business , 2007 . A. Brandenburger. Forward induction. Stern School of Business, 2007."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4020-9906-9","volume-title":"Explaining Games: The Epistemic Programme in Game Theory","author":"de Bruin B.","year":"2010","unstructured":"B. de Bruin . Explaining Games: The Epistemic Programme in Game Theory . Springer , 2010 . B. de Bruin. Explaining Games: The Epistemic Programme in Game Theory. Springer, 2010."},{"key":"e_1_3_2_1_9_1","volume-title":"ILLC Amsterdam and IAI Groningen","author":"D\u00e9gremont C.","year":"2011","unstructured":"C. D\u00e9gremont , L. Kurzen , and J. Szymanik . Cognitive plausibility of epistemic models: Exploring tractability borders in epistemic tasks . ILLC Amsterdam and IAI Groningen , 2011 . C. D\u00e9gremont, L. Kurzen, and J. Szymanik. Cognitive plausibility of epistemic models: Exploring tractability borders in epistemic tasks. ILLC Amsterdam and IAI Groningen, 2011."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/2000378.2000395"},{"key":"e_1_3_2_1_11_1","first-page":"91","volume-title":"Heifetz {16}","author":"D\u00e9gremont C.","unstructured":"C. D\u00e9gremont and O. Roy . Agreement theorems in dynamic-epistemic logic . In Heifetz {16} , pages 91 -- 98 . 10.1145\/1562814.1562829 C. D\u00e9gremont and O. Roy. Agreement theorems in dynamic-epistemic logic. In Heifetz {16}, pages 91--98. 10.1145\/1562814.1562829"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/5803.001.0001","volume-title":"Reasoning about knowledge","author":"Fagin R.","year":"1995","unstructured":"R. Fagin , J. Y. Halpern , Y. Moses , and M. Y. Vardi . Reasoning about knowledge . The MIT Press , Cambridge, Mass ., 1995 . R. Fagin, J. Y. Halpern, Y. Moses, and M. Y. Vardi. Reasoning about knowledge. The MIT Press, Cambridge, Mass., 1995."},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1016\/0022-0000(89)90039-1"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/1562814"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10849-008-9072-7"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-007-1344-4"},{"key":"e_1_3_2_1_19_1","volume-title":"Decision making","author":"McClure S.","year":"2011","unstructured":"S. McClure . Decision making , 2011 . Lecture slides SS100, Stanford University . S. McClure. Decision making, 2011. Lecture slides SS100, Stanford University."},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1007\/s11225-005-3612-9"},{"key":"e_1_3_2_1_21_1","volume-title":"The power of knowledge in games","author":"Parikh R.","year":"2011","unstructured":"R. Parikh , C. Tasdemir , and A. Witzel . The power of knowledge in games , 2011 . Working paper, CUNY Graduate Center & New York University . R. Parikh, C. Tasdemir, and A. Witzel. The power of knowledge in games, 2011. Working paper, CUNY Graduate Center & New York University."},{"volume-title":"Epicenter, Department of Quantitative Economics","author":"Perea A.","key":"e_1_3_2_1_22_1","unstructured":"A. Perea . Belief in the opponents' future rationality, 2011. Working paper , Epicenter, Department of Quantitative Economics , University of Maastricht. A. Perea. Belief in the opponents' future rationality, 2011. Working paper, Epicenter, Department of Quantitative Economics, University of Maastricht."},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1006\/reec.1999.0200"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.3166\/jancl.17.129-155"},{"key":"e_1_3_2_1_25_1","volume-title":"praise of strategies","author":"van Benthem J.","year":"2007","unstructured":"J. van Benthem . In praise of strategies . In J. van Eijck and R. Verbrugge, editors, Foundations of Social Software. College Publications , London, 2007 . J. van Benthem. In praise of strategies. In J. van Eijck and R. Verbrugge, editors, Foundations of Social Software. College Publications, London, 2007."},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1142\/S0219198907001254"},{"key":"e_1_3_2_1_27_1","volume-title":"Logical Dynamics of Information and Interaction","author":"van Benthem J.","year":"2010","unstructured":"J. van Benthem . Logical Dynamics of Information and Interaction . Cambridge University Press , 2010 . J. van Benthem. Logical Dynamics of Information and Interaction. Cambridge University Press, 2010."},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10992-008-9099-x"},{"key":"e_1_3_2_1_29_1","volume-title":"Game solution, epistemic dynamics and fixed-point logics. Fundamenta Informaticae, 100(1--4):19--41","author":"van Benthem J.","year":"2010","unstructured":"J. van Benthem and A. Gheerbrant . Game solution, epistemic dynamics and fixed-point logics. Fundamenta Informaticae, 100(1--4):19--41 , 2010 . J. van Benthem and A. Gheerbrant. Game solution, epistemic dynamics and fixed-point logics. Fundamenta Informaticae, 100(1--4):19--41, 2010."},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.3390\/g2010052"},{"key":"e_1_3_2_1_31_1","first-page":"61","volume-title":"Modality Matters: Twenty-Five Essays in Honour of Krister Segerberg, number 53 in Uppsala Philosophical Studies","author":"van Benthem J.","year":"2006","unstructured":"J. van Benthem , S. van Otterloo , and O. Roy . Preference logic, conditionals and solution concepts in games . In H. Lagerlund, S. Lindstr\u00f6m, and R. Sliwinski, editors, Modality Matters: Twenty-Five Essays in Honour of Krister Segerberg, number 53 in Uppsala Philosophical Studies , pages 61 -- 76 . University of Uppsala , Upsala , 2006 . J. van Benthem, S. van Otterloo, and O. Roy. Preference logic, conditionals and solution concepts in games. In H. Lagerlund, S. Lindstr\u00f6m, and R. Sliwinski, editors, Modality Matters: Twenty-Five Essays in Honour of Krister Segerberg, number 53 in Uppsala Philosophical Studies, pages 61--76. University of Uppsala, Upsala, 2006."},{"key":"e_1_3_2_1_32_1","series-title":"Studies in Logic and Practical Reasoning","first-page":"1077","volume-title":"Handbook of Modal Logic","author":"van der Hoek W.","year":"2006","unstructured":"W. van der Hoek and M. Pauly . Modal logic for games and information . In P. Blackburn, J. van Benthem, and F. Wolter, editors, Handbook of Modal Logic , volume 3 of Studies in Logic and Practical Reasoning , pages 1077 -- 1148 . Elsevier Science Inc ., Amsterdam, 2006 . W. van der Hoek and M. Pauly. Modal logic for games and information. In P. Blackburn, J. van Benthem, and F. Wolter, editors, Handbook of Modal Logic, volume 3 of Studies in Logic and Practical Reasoning, pages 1077--1148. Elsevier Science Inc., Amsterdam, 2006."}],"event":{"name":"TARK XIII: Thirteenth conference on Theoretical Aspects of Rationality and Knowledge","acronym":"TARK XIII","location":"Groningen The Netherlands"},"container-title":["Proceedings of the 13th Conference on Theoretical Aspects of Rationality and Knowledge"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2000378.2000380","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2000378.2000380","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T11:00:00Z","timestamp":1750244400000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2000378.2000380"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,7,12]]},"references-count":30,"alternative-id":["10.1145\/2000378.2000380","10.1145\/2000378"],"URL":"https:\/\/doi.org\/10.1145\/2000378.2000380","relation":{},"subject":[],"published":{"date-parts":[[2011,7,12]]},"assertion":[{"value":"2011-07-12","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}