{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,21]],"date-time":"2025-05-21T01:40:04Z","timestamp":1747791604024,"version":"3.41.0"},"reference-count":62,"publisher":"Springer Science and Business Media LLC","issue":"6","license":[{"start":{"date-parts":[[2015,3,18]],"date-time":"2015-03-18T00:00:00Z","timestamp":1426636800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["J Philos Logic"],"published-print":{"date-parts":[[2015,12]]},"DOI":"10.1007\/s10992-015-9356-8","type":"journal-article","created":{"date-parts":[[2015,3,17]],"date-time":"2015-03-17T04:08:11Z","timestamp":1426565291000},"page":"741-753","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["On the use (and abuse) of Logic in Game Theory"],"prefix":"10.1007","volume":"44","author":[{"given":"Eric","family":"Pacuit","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2015,3,18]]},"reference":[{"key":"9356_CR1","unstructured":"Abramsky, S. (2007). A compositional game semantics for multi-agent logics of partial information. Volume 1 of Texts in Logic and Games, pp. 11\u201348. Amsterdam University Press."},{"key":"9356_CR2","unstructured":"Apt, K., & Zvesper, J. (2010). Public announcements in strategic games with arbitrary strategy sets In Proceedings of LOFT 2010."},{"key":"9356_CR3","unstructured":"Arrow, K. (1951). Mathematical models in the social sciences. In Lerner, D. and Lasswell, H. (Eds.) The Policy Sciences. Stanford University Press."},{"key":"9356_CR4","doi-asserted-by":"crossref","first-page":"208","DOI":"10.1016\/S0899-8256(02)00551-1","volume":"42","author":"G Asheim","year":"2003","unstructured":"Asheim, G., & Dufwenberg, M. (2003). Admissibility and common belief. Game and Economic Behavior, 42, 208\u2013234.","journal-title":"Game and Economic Behavior"},{"key":"9356_CR5","unstructured":"Aumann, R. (1985). What is game theory trying to accomplish? In Arrow, K. and Honkapohja, S. (Eds.), Frontiers of Economics Oxford."},{"key":"9356_CR6","doi-asserted-by":"crossref","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, 1161\u20131180.","journal-title":"Econometrica"},{"key":"9356_CR7","unstructured":"Bacharach, M. (1993). Variable universe games, In BInmore, K. Kirman, A. and Tami, P. (Eds.), Frontiers of Game Theory, The MIT Press."},{"key":"9356_CR8","unstructured":"Bacharach, M. (2006). Beyond Individual Choices Teams and Frames in Game Theory. Princeton University Press."},{"key":"9356_CR9","doi-asserted-by":"crossref","unstructured":"Bacharach, M.O.L. (1997). The epistemic structure of a theory of a game. In Bacharach, M. Gerard-Varet, L. Mongin, P. and Shin, H. (Eds.), em Epistemic Logic and the Theory of Games and Decisions, Kluwer Academic Publishers.","DOI":"10.1007\/978-1-4613-1139-3_14"},{"key":"9356_CR10","doi-asserted-by":"crossref","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 \u2018hoping\u2019 for rationality: a solution to the backwards induction paradox. Synthese, 169, 301\u2013333.","journal-title":"Synthese"},{"issue":"543","key":"9356_CR11","doi-asserted-by":"crossref","first-page":"40","DOI":"10.1111\/j.1468-0297.2009.02304.x","volume":"120","author":"N Bardsley","year":"2010","unstructured":"Bardsley, N., Mehta, J., Starmer, C., & Sugden, R. (2010). The nature of salience revisited: Cognitve hierarchy theory versus team reasoning. Economic Journal, 120(543), 40\u201379.","journal-title":"Economic Journal"},{"key":"9356_CR12","unstructured":"Bicchieri, C. (1993). Rationality and Coordination. Cambridge University Press."},{"key":"9356_CR13","doi-asserted-by":"crossref","first-page":"179","DOI":"10.1017\/S0266267100002893","volume":"3","author":"K Binmore","year":"1987","unstructured":"Binmore, K. (1987). Modeling rational players: Part I. Economics and Philosophy, 3, 179\u2013214.","journal-title":"Economics and Philosophy"},{"key":"9356_CR14","doi-asserted-by":"crossref","unstructured":"Binmore, K. (2009). Rational Decisions. Princeton University Press.","DOI":"10.1515\/9781400833092"},{"issue":"2","key":"9356_CR15","doi-asserted-by":"crossref","first-page":"149","DOI":"10.1006\/reec.1999.0187","volume":"53","author":"G Bonanno","year":"1999","unstructured":"Bonanno, G., & Battigalli, P. (1999). Recent results on belief, knowledge and the epistemic foundations of game theory. Research in Economics, 53(2), 149\u2013225.","journal-title":"Research in Economics"},{"key":"9356_CR16","doi-asserted-by":"crossref","unstructured":"Bonanno, G., & D\u00e9gremont, C. (2014). Logic and game theory. In Trends in Logic: Papers on the work of Johan van Benthem, Volume Forthcoming. Springer.","DOI":"10.1007\/978-3-319-06025-5_15"},{"key":"9356_CR17","doi-asserted-by":"crossref","first-page":"465","DOI":"10.1007\/s00182-006-0061-2","volume":"35","author":"A Brandenburger","year":"2007","unstructured":"Brandenburger, A. (2007). The power of paradox: some recent developments in interactive epistemology. International Journal of Game Theory, 35, 465\u2013492.","journal-title":"International Journal of Game Theory"},{"key":"9356_CR18","doi-asserted-by":"crossref","unstructured":"Bratman, M. (2007). Structures of Agency. Oxford University Press.","DOI":"10.1093\/acprof:oso\/9780195187717.001.0001"},{"key":"9356_CR19","doi-asserted-by":"crossref","first-page":"798","DOI":"10.2307\/2234975","volume":"104","author":"R Cubitt","year":"1994","unstructured":"Cubitt, R., & Sugden, R. (1994). Rationally justifiable play and the theory of non-cooperative games. The Economic Journal, 104, 798\u2013803.","journal-title":"The Economic Journal"},{"key":"9356_CR20","unstructured":"Cubitt, R., & Sugden, R. (2011). Common reasoning in games A Lewisian analysis of common knowledge of rationality. CeDEx Discussion Paper."},{"key":"9356_CR21","doi-asserted-by":"crossref","unstructured":"Cubitt, R.P., & Sugden, R. (175). Common Knowledge, Salience and Convention: A Reconstruction of David Lewis\u2019 Game Theory. Economics and Philosophy, 19(2).","DOI":"10.1017\/S0266267103001123"},{"issue":"1-3","key":"9356_CR22","doi-asserted-by":"crossref","first-page":"143","DOI":"10.1007\/s11225-011-9358-7","volume":"99","author":"M Fitting","year":"2011","unstructured":"Fitting, M. (2011). Reasoning about games. Studia Logica, 99(1-3), 143\u2013169.","journal-title":"Studia Logica"},{"issue":"1","key":"9356_CR23","doi-asserted-by":"crossref","first-page":"60","DOI":"10.1016\/0899-8256(89)90005-5","volume":"1","author":"J Geanakoplos","year":"1999","unstructured":"Geanakoplos, J., Pearce, D., & Stacchetti, E. (1999). Psychological games and sequential rationality. Games and Economic Behavior, 1(1), 60\u201380.","journal-title":"Games and Economic Behavior"},{"key":"9356_CR24","unstructured":"Ghosh, S., & Ramanujam, R. (2011). Strategies in games: A logic-automata study. In Lectures on Logic and Computation, Volume LNCS 7388."},{"issue":"2","key":"9356_CR25","first-page":"241","volume":"139","author":"V Goranko","year":"2004","unstructured":"Goranko, V., & Jamroga, W. (2004). Comparing semantics of logics for multi-agent systems. Synthese: Knowledge. Rationality, and Action, 139(2), 241\u2013280.","journal-title":"Rationality, and Action"},{"key":"9356_CR26","doi-asserted-by":"crossref","unstructured":"Gr\u00e4del, E. (2011). Back and Forth Between Logics and Games. In Lectures in Game Theory for Computer Scientists, Springer.","DOI":"10.1017\/CBO9780511973468.005"},{"key":"9356_CR27","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1023\/A:1018942425200","volume":"26","author":"J Halpern","year":"1999","unstructured":"Halpern, J. (1999). Set-theoretic completeness for epistemic and conditional logic. Annals of Mathematics and Artificial Intelligence, 26, 1\u201327.","journal-title":"Annals of Mathematics and Artificial Intelligence"},{"key":"9356_CR28","unstructured":"Halpern, J., Bjorndahl, A., & Pass, R. (2013). Language-based games. In Proceedings of the Fourteenth Conference on Theoretical Aspects of Rationality and Knowledge, ACM Press."},{"key":"9356_CR29","doi-asserted-by":"crossref","unstructured":"Harman, G. (1999). Reasoning Meaning and Mind Chapter Rationality. Oxford University Press.","DOI":"10.1093\/0198238029.001.0001"},{"key":"9356_CR30","doi-asserted-by":"crossref","first-page":"61","DOI":"10.1007\/BF01766187","volume":"4","author":"J Harsanyi","year":"1975","unstructured":"Harsanyi, J. (1975). The tracing procedure: A bayesian approach to defining a solution for n-person noncooperative games. International Journal of Game Theory, 4, 61\u201394.","journal-title":"International Journal of Game Theory"},{"key":"9356_CR31","unstructured":"Hodges, W. (2013). Logic and games, In Zalta, E.N. (Ed.), The Stanford Encyclopedia of Philosophy (Spring 2013 ed.)"},{"key":"9356_CR32","doi-asserted-by":"crossref","first-page":"517","DOI":"10.1007\/s001820200095","volume":"30","author":"H Hu","year":"2001","unstructured":"Hu, H., & Stuart, H.W. (2001). An epistemic analysis of the harsanyi transformation. International Journal of Game Theory, 30, 517\u2013525.","journal-title":"International Journal of Game Theory"},{"key":"9356_CR33","unstructured":"Huber, F. (2013). Formal representations of belief. In Zalta, E.N. (Ed.), The Stanford Encyclopedia of Philosophy (Summer 2013 ed.)"},{"key":"9356_CR34","doi-asserted-by":"crossref","unstructured":"Kreps, D. (1990). Game Theory and Economic Modelling. Clarendon Press.","DOI":"10.1093\/0198283814.001.0001"},{"issue":"4","key":"9356_CR35","doi-asserted-by":"crossref","first-page":"478","DOI":"10.3390\/g1040478","volume":"1","author":"E Lorini","year":"2010","unstructured":"Lorini, E., & Schwarzentruber, F. (2010). A modal logic of epistemic games. Games, 1(4), 478\u2013526.","journal-title":"Games"},{"key":"9356_CR36","doi-asserted-by":"crossref","unstructured":"McClennen, E (1990). Rationality and Dynamic Choice Foundational Explorations. Cambridge University Press.","DOI":"10.1017\/CBO9780511983979"},{"issue":"9","key":"9356_CR37","doi-asserted-by":"crossref","first-page":"798","DOI":"10.1111\/phc3.12059","volume":"8","author":"E Pacuit","year":"2013","unstructured":"Pacuit, E. (2013a). Dynamic epistemic logic I: Modeling knowledge and belief. Philosophy Compass, 8(9), 798\u2013814.","journal-title":"Philosophy Compass"},{"issue":"9","key":"9356_CR38","doi-asserted-by":"crossref","first-page":"815","DOI":"10.1111\/phc3.12060","volume":"8","author":"E Pacuit","year":"2013","unstructured":"Pacuit, E. (2013b). Dynamic epistemic logic II: Logics of information change. Philosophy Compass, 8(9), 815\u2013833.","journal-title":"Philosophy Compass"},{"key":"9356_CR39","unstructured":"Pacuit, E. (2014). Strategic reasoning in games. Manuscript."},{"key":"9356_CR40","unstructured":"Pacuit, E., & Roy, O. (2015). Epistemic game theory. In Zalta, E.N. (Ed.), Stanford Encyclopedia of Philosophy."},{"key":"9356_CR41","doi-asserted-by":"crossref","unstructured":"Parikh, R. (1983). Propositional game logic In Proceedings of FOCS.","DOI":"10.1109\/SFCS.1983.47"},{"key":"9356_CR42","doi-asserted-by":"crossref","unstructured":"Parikh, R. (2002). Social software. Synthese, 132(3).","DOI":"10.1023\/A:1020391420768"},{"key":"9356_CR43","unstructured":"Rabinowicz, W. (1992). Tortous labyrinth: Noncooperative normal-form games between hyperrational players, In Bicchieri, C. Chiara, M.L.D. (Eds.), Knowledge, Belief and Strategic Interaction."},{"key":"9356_CR44","unstructured":"Ramanujam, R., & Simon, S.E. (2008). Dynamic logic on games with structured strategies In Proceedings of Knowledge Representation and Reasoning."},{"key":"9356_CR45","unstructured":"Schelling, T. (1960). The Strategy of Conflict. Harvard University Press."},{"key":"9356_CR46","unstructured":"Skyrms, B. (1990). The Dynamics of Rational Deliberation. Harvard University Press."},{"key":"9356_CR47","doi-asserted-by":"crossref","first-page":"293","DOI":"10.1006\/reec.1999.0200","volume":"53","author":"R Stalnaker","year":"1999","unstructured":"Stalnaker, R. (1999). Extensive and strategic forms: Games and models for games. Research in Economics, 53, 293\u2013319.","journal-title":"Research in Economics"},{"key":"9356_CR48","doi-asserted-by":"crossref","first-page":"165","DOI":"10.1080\/10002003098538748","volume":"63","author":"R Sugden","year":"2003","unstructured":"Sugden, R. (2003). The logic of team reasoning. Philosophical Explorations, 63, 165\u2013181.","journal-title":"Philosophical Explorations"},{"key":"9356_CR49","unstructured":"van Benthem, J. (1996). Exploring Logical Dynamics. CSLI Press."},{"key":"9356_CR50","doi-asserted-by":"crossref","first-page":"117","DOI":"10.1007\/s11245-006-0018-x","volume":"25","author":"J van Benthem","year":"2005","unstructured":"van Benthem, J. (2005). Where is logic going and should it. Topoi, 25, 117\u2013122.","journal-title":"Topoi"},{"issue":"1","key":"9356_CR51","doi-asserted-by":"crossref","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. International Game Theory Review, 9(1), 13\u201345.","journal-title":"International Game Theory Review"},{"issue":"1","key":"9356_CR52","doi-asserted-by":"crossref","first-page":"67","DOI":"10.1007\/s11225-008-9101-1","volume":"88","author":"J van Benthem","year":"2008","unstructured":"van Benthem, J. (2008). Logic and reasong: do the facts matter. Studia Logica, 88(1), 67\u201384.","journal-title":"Studia Logica"},{"key":"9356_CR53","doi-asserted-by":"crossref","unstructured":"van Benthem, J. (2011). Logical Dynamics of Information and Interaction. Cambridge University Press.","DOI":"10.1017\/CBO9780511974533"},{"key":"9356_CR54","doi-asserted-by":"crossref","unstructured":"van Benthem, J. (2014). Logic in Games. The MIT Press.","DOI":"10.7551\/mitpress\/9674.001.0001"},{"key":"9356_CR55","doi-asserted-by":"crossref","first-page":"1","DOI":"10.3233\/FI-2010-260","volume":"100","author":"J van Benthem","year":"2010","unstructured":"van Benthem, J., & Gheerbrant, A. (2010). Game solution, epistemic dynamics and fixed-point logics. Fund. Inform, 100, 1\u201323.","journal-title":"Fund. Inform"},{"issue":"1","key":"9356_CR56","doi-asserted-by":"crossref","first-page":"52","DOI":"10.3390\/g2010052","volume":"2","author":"J van Benthem","year":"2011","unstructured":"van Benthem, J., Pacuit, E., & Roy, O. (2011). Towards a theory of play: A logical perspective on games and interaction. Games, 2(1), 52\u201386.","journal-title":"Games"},{"key":"9356_CR57","unstructured":"van der Hoek, W., & Pauly, M. (2006). Modal logic for games and information. In Blackburn, P. van Benthem, J. and Wolter, F. (Eds.), em Handbook of Modal Logic, Volume 3 of Studies in Logic, Elsevier."},{"issue":"2","key":"9356_CR58","doi-asserted-by":"crossref","first-page":"135","DOI":"10.1093\/jigpal\/11.2.135","volume":"11","author":"W van der Hoek","year":"2003","unstructured":"van der Hoek, W., & Wooldridge, M. (2003). Towards a logic of rational agency. Logic Journal of the IGPL, 11(2), 135\u2013160.","journal-title":"Logic Journal of the IGPL"},{"key":"9356_CR59","doi-asserted-by":"crossref","unstructured":"van Ditmarsch, H., van der Hoek, W., & Kooi, B. (2007). Dynamic Epistemic Logic. Synthese Library. Springer.","DOI":"10.1007\/978-1-4020-5839-4"},{"key":"9356_CR60","doi-asserted-by":"crossref","unstructured":"van Eijck, J., & Vergrugge, R. (Eds.) (2009). Discourses on Social Software. Texts in Logic and Games.","DOI":"10.5117\/9789089641236"},{"issue":"2","key":"9356_CR61","doi-asserted-by":"crossref","first-page":"46","DOI":"10.1016\/j.ipl.2005.09.010","volume":"97","author":"R Vestergaard","year":"2006","unstructured":"Vestergaard, R. (2006). A constructive approach to sequential Nash equilibria. Information Processes Letter, 97(2), 46\u201351.","journal-title":"Information Processes Letter"},{"key":"9356_CR62","doi-asserted-by":"crossref","unstructured":"Wooldridge, M. (2000). Reasoning about Rational Agents. The MIT Press.","DOI":"10.7551\/mitpress\/5804.001.0001"}],"container-title":["Journal of Philosophical Logic"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10992-015-9356-8.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10992-015-9356-8\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10992-015-9356-8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,21]],"date-time":"2025-05-21T01:01:09Z","timestamp":1747789269000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10992-015-9356-8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,3,18]]},"references-count":62,"journal-issue":{"issue":"6","published-print":{"date-parts":[[2015,12]]}},"alternative-id":["9356"],"URL":"https:\/\/doi.org\/10.1007\/s10992-015-9356-8","relation":{},"ISSN":["0022-3611","1573-0433"],"issn-type":[{"type":"print","value":"0022-3611"},{"type":"electronic","value":"1573-0433"}],"subject":[],"published":{"date-parts":[[2015,3,18]]}}}