{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,1]],"date-time":"2025-06-01T04:15:53Z","timestamp":1748751353991,"version":"3.41.0"},"publisher-location":"Berlin, Heidelberg","reference-count":57,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783662485392"},{"type":"electronic","value":"9783662485408"}],"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_10","type":"book-chapter","created":{"date-parts":[[2016,1,8]],"date-time":"2016-01-08T15:32:33Z","timestamp":1452267153000},"page":"321-332","source":"Crossref","is-referenced-by-count":4,"title":["Logic of Strategies: What and How?"],"prefix":"10.1007","author":[{"given":"Johan","family":"van Benthem","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2016,1,9]]},"reference":[{"key":"10_CR1","first-page":"1","volume-title":"Millennial Perspectives in Computer Science","author":"S Abramsky","year":"2000","unstructured":"Abramsky, S.: Concurrent interaction games. In: Davies, J., Roscoe, A.W., Woodcock, J. (eds.) Millennial Perspectives in Computer Science, pp. 1\u201312. Palgrave, UK (2000)"},{"key":"10_CR2","doi-asserted-by":"publisher","first-page":"543","DOI":"10.2307\/2275407","volume":"59","author":"S Abramsky","year":"1992","unstructured":"Abramsky, S., Jagadeesan, R.: Games and full completeness for multiplicative linear logic. J. Symbolic Logic 59, 543\u2013574 (1992)","journal-title":"J. Symbolic Logic"},{"key":"10_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"94","DOI":"10.1007\/978-3-642-33353-8_8","volume-title":"Logics in Artificial Intelligence","author":"MB Andersen","year":"2012","unstructured":"Andersen, M.B., Bolander, T., Jensen, M.H.: Conditional epistemic planning. In: del Cerro, L.F., Herzig, A., Mengin, J. (eds.) JELIA 2012. LNCS, vol. 7519, pp. 94\u2013106. Springer, Heidelberg (2012)"},{"key":"10_CR4","doi-asserted-by":"publisher","first-page":"6","DOI":"10.1016\/S0899-8256(05)80015-6","volume":"8","author":"R Aumann","year":"1995","unstructured":"Aumann, R.: Backward induction and common knowledge of rationality. Games Econ. Behav. 8, 6\u201319 (1995)","journal-title":"Games Econ. Behav."},{"key":"10_CR5","volume-title":"The Evolution of Cooperation","author":"R Axelrod","year":"1984","unstructured":"Axelrod, R.: The Evolution of Cooperation. Basic Books, New York (1984)"},{"key":"10_CR6","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511974533","volume-title":"Logical Dynamics of Information and Interaction","author":"J Benthem van","year":"2011","unstructured":"van Benthem, J.: Logical Dynamics of Information and Interaction. Cambridge University Press, Cambridge (2011)"},{"key":"10_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"96","DOI":"10.1007\/978-3-642-29326-9_6","volume-title":"Games, Actions and Social Software","author":"J Benthem van","year":"2012","unstructured":"van Benthem, J.: In praise of strategies. In: van Eijck, J., Verbrugge, R. (eds.) Games, Actions and Social Software 2010. LNCS, vol. 7010, pp. 96\u2013116. Springer, Heidelberg (2012)"},{"key":"10_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"336","DOI":"10.1007\/978-3-642-38164-5_23","volume-title":"Abramsky Festschrift","author":"J Benthem van","year":"2013","unstructured":"van Benthem, J.: Reasoning about strategies. In: Coecke, B., Ong, L., Panangaden, P. (eds.) Abramsky Festschrift. LNCS, vol. 7860, pp. 336\u2013347. Springer, Heidelberg (2013)"},{"key":"10_CR9","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/9674.001.0001","volume-title":"Logic in Games","author":"J Benthem van","year":"2014","unstructured":"van Benthem, J.: Logic in Games. The MIT Press, Cambridge (2014)"},{"issue":"3","key":"10_CR10","doi-asserted-by":"publisher","first-page":"367","DOI":"10.1007\/s10849-014-9188-x","volume":"23","author":"J Benthem van","year":"2014","unstructured":"van Benthem, J.: Natural language and logic of agency. J. Logic Lang. Inform. 23(3), 367\u2013382 (2014)","journal-title":"J. Logic Lang. Inform."},{"key":"10_CR11","unstructured":"van Benthem, J., Cui, J., Steinert-Threlkeld, S.: Logics for evolutionary games. Working paper, ILLC Amsterdam, Philosophy Stanford, and ILLC Guangzhou (2013)"},{"key":"10_CR12","doi-asserted-by":"publisher","first-page":"491","DOI":"10.1007\/s10992-008-9099-x","volume":"38","author":"J Benthem van","year":"2009","unstructured":"van Benthem, J., Gerbrandy, J., Hoshi, T., Pacuit, E.: Merging frameworks for interaction. J. Philos. Logic 38, 491\u2013526 (2009)","journal-title":"J. Philos. Logic"},{"issue":"1\u20134","key":"10_CR13","doi-asserted-by":"crossref","first-page":"19","DOI":"10.3233\/FI-2010-261","volume":"100","author":"J Benthem van","year":"2010","unstructured":"van Benthem, J., Gheerbrant, A.: Game solution, epistemic dynamics and fixed-point logics. Fundamenta Informaticae 100(1\u20134), 19\u201341 (2010)","journal-title":"Fundamenta Informaticae"},{"key":"10_CR14","first-page":"87","volume-title":"Proceedings of Advances in Modal Logic (AiML IV)","author":"J Benthem van","year":"2006","unstructured":"van Benthem, J., Pacuit, E.: The tree of knowledge in action: towards a common perspective. In: Governatori, G., Hodkinson, I., Venema, Y. (eds.) Proceedings of Advances in Modal Logic (AiML IV), pp. 87\u2013106. King\u2019s College Press, London (2006)"},{"key":"10_CR15","volume-title":"Nuel Belnap on Indeterminism and Free Action","author":"J Benthem van","year":"2013","unstructured":"van Benthem, J., Pacuit, E.: Choices, actions, and games. In: M\u00fcller, T. (ed.) Nuel Belnap on Indeterminism and Free Action. Springer, Dordrecht (2013)"},{"volume-title":"The Logic of Strategy","year":"1999","key":"10_CR16","unstructured":"Bicchieri, C., Jeffrey, R., Skyrms, B. (eds.): The Logic of Strategy. Oxford University Press, Oxford (1999)"},{"key":"10_CR17","doi-asserted-by":"publisher","DOI":"10.1515\/9781400833092.25","volume-title":"Game Theory: A Very Short Introduction","author":"K Binmore","year":"2008","unstructured":"Binmore, K.: Game Theory: A Very Short Introduction. Oxford University Press, Oxford (2008)"},{"key":"10_CR18","doi-asserted-by":"publisher","first-page":"57","DOI":"10.1006\/game.1999.0812","volume":"36","author":"G Bonanno","year":"2001","unstructured":"Bonanno, G.: Branching time, perfect information games, and backward induction. Games Econ. Behav. 36, 57\u201373 (2001)","journal-title":"Games Econ. Behav."},{"key":"10_CR19","unstructured":"Brandenburger, A.: Tutorial on game theory. First Amsterdam-Lausanne-London Graduate Workshop, London School of Economics (2007)"},{"issue":"2","key":"10_CR20","doi-asserted-by":"publisher","first-page":"327","DOI":"10.2307\/2185537","volume":"101","author":"M Bratman","year":"1992","unstructured":"Bratman, M.: Shared cooperative activity. Philos. Rev. 101(2), 327\u2013341 (1992)","journal-title":"Philos. Rev."},{"volume-title":"Handbook of Cognitive Science","year":"2009","key":"10_CR21","unstructured":"Calvo, P., Gomila, A. (eds.): Handbook of Cognitive Science. Elsevier, Amsterdam (2009)"},{"key":"10_CR22","unstructured":"Carnielli, W., Coniglio, M.E.: Combining logics. In: Zalta, E.N. (ed.) The Stanford Encyclopedia of Philosophy. Stanford University, spring 2014 edition (2014)"},{"key":"10_CR23","volume-title":"The Feeling of What Happens: Body Emotion and the Making of Consciousness","author":"A Damasio","year":"1999","unstructured":"Damasio, A.: The Feeling of What Happens: Body Emotion and the Making of Consciousness. Heinemann, London (1999)"},{"issue":"5843","key":"10_CR24","doi-asserted-by":"publisher","first-page":"1344","DOI":"10.1126\/science.1145463","volume":"317","author":"RIM Dunbar","year":"2007","unstructured":"Dunbar, R.I.M., Shultz, S.: Evolution in the social brain. Science 317(5843), 1344\u20131347 (2007)","journal-title":"Science"},{"key":"10_CR25","first-page":"227","volume":"18","author":"B Dunin-K\u0229plicz","year":"2001","unstructured":"Dunin-K\u0229plicz, B., Verbrugge, R.: A reconfiguration algorithm for distributed problem solving. Eng. Simul. 18, 227\u2013246 (2001)","journal-title":"Eng. Simul."},{"key":"10_CR26","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"118","DOI":"10.1007\/3-540-47745-4_6","volume-title":"Multi-Agent Systems and Applications","author":"EH Durfee","year":"2001","unstructured":"Durfee, E.H.: Distributed problem solving and planning. In: \u0160t\u011bp\u00e1nkov\u00e1, O., Luck, M., Ma\u0159\u00edk, V., Trappl, R. (eds.) ACAI 2001 and EASSS 2001. LNCS (LNAI), vol. 2086, pp. 118\u2013149. Springer, Heidelberg (2001)"},{"key":"10_CR27","unstructured":"van Eijck, J.: PDL as a multi-agent strategy logic. In: Schipper, B.C. (ed.) TARK 2013: Proceedings of the 14th Conference on Theoretical Aspects of Rationality and Knowledge (2013)"},{"key":"10_CR28","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. The MIT Press, Cambridge (1995)"},{"key":"10_CR29","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"110","DOI":"10.1007\/978-3-642-31485-8_4","volume-title":"Lectures on Logic and Computation","author":"S Ghosh","year":"2012","unstructured":"Ghosh, S., Ramanujam, R.: Strategies in games: a logic-automata study. In: Bezhanishvili, N., Goranko, V. (eds.) ESSLLI 2010 and ESSLLI 2011. LNCS, vol. 7388, pp. 110\u2013159. Springer, Heidelberg (2012)"},{"key":"10_CR30","volume-title":"The Bounds of Reason: Game Theory and the Unification of the Behavioral Sciences","author":"H Gintis","year":"2008","unstructured":"Gintis, H.: The Bounds of Reason: Game Theory and the Unification of the Behavioral Sciences. Princeton University Press, Princeton (2008)"},{"volume-title":"Automata, Logics, and Infinite Games","year":"2002","key":"10_CR31","unstructured":"Gr\u00e4del, E., Thomas, W., Wilke, T. (eds.): Automata, Logics, and Infinite Games. Springer, Heidelberg (2002)"},{"key":"10_CR32","doi-asserted-by":"publisher","first-page":"195","DOI":"10.1016\/0022-0000(89)90039-1","volume":"38","author":"J Halpern","year":"1989","unstructured":"Halpern, J., Vardi, M.: The complexity of reasoning about knowledge and time, I: Lower bounds. J. Comput. Syst. Sci. 38, 195\u2013237 (1989)","journal-title":"J. Comput. Syst. Sci."},{"key":"10_CR33","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/2516.001.0001","volume-title":"Dynamic Logic","author":"D Harel","year":"2000","unstructured":"Harel, D., Kozen, D., Tiuryn, J.: Dynamic Logic. The MIT Press, Cambridge (2000)"},{"key":"10_CR34","volume-title":"Knowledge and Belief","author":"J Hintikka","year":"1962","unstructured":"Hintikka, J.: Knowledge and Belief. Cornell University Press, Ithaca (1962)"},{"key":"10_CR35","doi-asserted-by":"publisher","first-page":"361","DOI":"10.1016\/B978-044481714-3\/50009-6","volume-title":"Handbook of Logic and Language","author":"J Hintikka","year":"1997","unstructured":"Hintikka, J., Sandu, G.: Game-theoretical semantics. In: van Benthem, J., ter Meulen, A. (eds.) Handbook of Logic and Language, pp. 361\u2013410. Elsevier, Amsterdam (1997)"},{"key":"10_CR36","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9781139173179","volume-title":"Evolutionary Games and Population Dynamics","author":"J Hofbauer","year":"1998","unstructured":"Hofbauer, J., Sigmund, K.: Evolutionary Games and Population Dynamics. Cambridge University Press, Cambridge (1998)"},{"key":"10_CR37","unstructured":"Holliday, W.: Knowing What Follows; Epistemic Closure and Epistemic Logic. Ph.D. thesis, Department of Philosophy, Stanford University (2012)"},{"key":"10_CR38","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511810275","volume-title":"Logic in Computer Science","author":"M Huth","year":"2004","unstructured":"Huth, M., Ryan, M.: Logic in Computer Science. Cambridge University Press, Cambridge (2004)"},{"key":"10_CR39","unstructured":"Kooi, B., Tamminga, A.: Conditional obligations in strategic situations. In: Boella, G., Pigozzi, G., Singh, M., Verhagen, H. (eds.) Proceedings 3rd International Workshop on Normative Multi-agent Systems, pp. 188\u2013200 (2008)"},{"key":"10_CR40","unstructured":"Moore, R.: A logic of knowledge and action (1985). Research report"},{"key":"10_CR41","volume-title":"Philosophical Explanations","author":"R Nozick","year":"1981","unstructured":"Nozick, R.: Philosophical Explanations. Harvard University Press, Cambridge (1981)"},{"key":"10_CR42","volume-title":"A Course in Game Theory","author":"MJ Osborne","year":"1994","unstructured":"Osborne, M.J., Rubinstein, A.: A Course in Game Theory. The MIT Press, Cambridge (1994)"},{"key":"10_CR43","unstructured":"van Otterloo, S.: A Security Analysis of Multi-Agent Protocols. Ph.D. thesis, ILLC, University of Amsterdam, and Department of Computing, University of Liverpool (2005). DS-2005-05"},{"issue":"4","key":"10_CR44","doi-asserted-by":"publisher","first-page":"1029","DOI":"10.2307\/1911197","volume":"52","author":"DG Pearce","year":"1984","unstructured":"Pearce, D.G.: Rationalizable strategic behavior and the problem of perfection. Econometrica 52(4), 1029\u20131050 (1984)","journal-title":"Econometrica"},{"key":"10_CR45","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511844072","volume-title":"Epistemic Game Theory: Reasoning and Choice","author":"A Perea","year":"2012","unstructured":"Perea, A.: Epistemic Game Theory: Reasoning and Choice. Cambridge University Press, Cambridge (2012)"},{"key":"10_CR46","volume-title":"Knowledge, Understanding, and Epistemic Value","author":"D Pritchard","year":"2009","unstructured":"Pritchard, D.: Knowledge, Understanding, and Epistemic Value. Cambridge University Press, Cambridge (2009)"},{"key":"10_CR47","unstructured":"Ramanujam, R., Simon, S.: Dynamic logic on games with structured strategies. In: Proceedings 11th International Conference on Principles of Knowledge Representation and Reasoning (KR-08), pp. 49\u201358. AAAI Press (2008)"},{"key":"10_CR48","unstructured":"Ramanujam, R., Simon, S.: A logical structure for strategies. In: Proceedings Logic and the Foundations of Game and Decision Theory (LOFT7). Texts in Logic and Games, vol. 3, pp. 183\u2013208. Amsterdam University Press (2008)"},{"key":"10_CR49","volume-title":"Johan van Benthem on Logic and Information Dynamics","author":"O Roy","year":"2014","unstructured":"Roy, O., Anglberger, A., Gratzl, N.: The logic of best actions from a deontic perspective. In: Baltag, A., Smets, S. (eds.) Johan van Benthem on Logic and Information Dynamics. Springer, Dordrecht (2014)"},{"key":"10_CR50","volume-title":"Johan van Benthem on Logic and Information Dynamics","author":"G Sandu","year":"2014","unstructured":"Sandu, G.: An alternative analysis of signaling games. In: Baltag, A., Smets, S. (eds.) Johan van Benthem on Logic and Information Dynamics. Springer, Dordrecht (2014)"},{"key":"10_CR51","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"2","DOI":"10.1007\/978-3-642-14183-6_2","volume-title":"Deontic Logic in Computer Science","author":"M Sergot","year":"2010","unstructured":"Sergot, M.: Norms, action and agency in multi-agent systems. In: Sartor, G., Governatori, G. (eds.) DEON 2010. LNCS, vol. 6181, p. 2. Springer, Heidelberg (2010)"},{"key":"10_CR52","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511811654","volume-title":"Multi-Agent Systems: Algorithmic Game-Theoretic and Logical Foundations","author":"Y Shoham","year":"2008","unstructured":"Shoham, Y., Leyton-Brown, K.: Multi-Agent Systems: Algorithmic Game-Theoretic and Logical Foundations. Cambridge University Press, Cambridge (2008)"},{"issue":"3","key":"10_CR53","doi-asserted-by":"publisher","first-page":"465","DOI":"10.1093\/logcom\/6.3.465","volume":"6","author":"R Meyden van der","year":"1996","unstructured":"van der Meyden, R.: The dynamic logic of permission. J. Logic Comput. 6(3), 465\u2013479 (1996)","journal-title":"J. Logic Comput."},{"key":"10_CR54","first-page":"331","volume-title":"Handbook of Modal Logic","author":"Y Venema","year":"2006","unstructured":"Venema, Y.: Algebras and co-algebras. In: Blackburn, P., van Benthem, J., Wolter, F. (eds.) Handbook of Modal Logic, pp. 331\u2013426. Elsevier, Amsterdam (2006)"},{"key":"10_CR55","unstructured":"Venema, Y.: Lectures on the modal mu-calculus (2007)"},{"key":"10_CR56","doi-asserted-by":"publisher","first-page":"649","DOI":"10.1007\/s10992-009-9115-9","volume":"38","author":"R Verbrugge","year":"2009","unstructured":"Verbrugge, R.: Logic and social cognition: The facts matter, and so do computational models. J. Philos. Logic 38, 649\u2013680 (2009)","journal-title":"J. Philos. Logic"},{"key":"10_CR57","doi-asserted-by":"publisher","first-page":"67","DOI":"10.1016\/j.artint.2013.05.004","volume":"199","author":"H Weerd de","year":"2013","unstructured":"de Weerd, H., Verbrugge, R., Verheij, B.: How much does it help to know what she knows you know? An agent-based simulation study. Artif. Intell. 199, 67\u201392 (2013)","journal-title":"Artif. Intell."}],"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_10","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,1]],"date-time":"2025-06-01T02:43:04Z","timestamp":1748745784000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-662-48540-8_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783662485392","9783662485408"],"references-count":57,"URL":"https:\/\/doi.org\/10.1007\/978-3-662-48540-8_10","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2015]]}}}