{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,11]],"date-time":"2025-10-11T17:10:41Z","timestamp":1760202641633,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":44,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642314841"},{"type":"electronic","value":"9783642314858"}],"license":[{"start":{"date-parts":[[2012,1,1]],"date-time":"2012-01-01T00:00:00Z","timestamp":1325376000000},"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":[[2012]]},"DOI":"10.1007\/978-3-642-31485-8_4","type":"book-chapter","created":{"date-parts":[[2012,6,22]],"date-time":"2012-06-22T19:13:03Z","timestamp":1340392383000},"page":"110-159","source":"Crossref","is-referenced-by-count":6,"title":["Strategies in Games: A Logic-Automata Study"],"prefix":"10.1007","author":[{"given":"Sujata","family":"Ghosh","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"R.","family":"Ramanujam","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"4_CR1","doi-asserted-by":"publisher","DOI":"10.1093\/acprof:oso\/9780195324259.001.0001","volume-title":"How Can the Human Mind Occur in the Physical Universe?","author":"J. Anderson","year":"2007","unstructured":"Anderson, J.: How Can the Human Mind Occur in the Physical Universe? Oxford University Press, New York (2007)"},{"key":"4_CR2","first-page":"247","volume":"165","author":"J. Benthem van","year":"2008","unstructured":"van Benthem, J., Ghosh, S., Liu, F.: Modelling simultaneous games with dynamic logic. Knowledge, Rationality and Action\u00a0165, 247\u2013268 (2008)","journal-title":"Knowledge, Rationality and Action"},{"key":"4_CR3","unstructured":"Berlekamp, E., Conway, J., Guy, R.: Winning Ways for Your Mathematical Plays, 2nd edn., vol.\u00a01. A.K. Peters (2001)"},{"key":"4_CR4","doi-asserted-by":"crossref","unstructured":"Blackburn, P., de Rijke, M., Venema, Y.: Modal Logic. CUP (2001)","DOI":"10.1017\/CBO9781107050884"},{"key":"4_CR5","unstructured":"Borgo, S.: Coalition in action logic. In: Veloso, M. (ed.) Proceedings of IJCAI 2007, pp. 1822\u20131827 (2007)"},{"issue":"1\/4","key":"4_CR6","doi-asserted-by":"publisher","first-page":"35","DOI":"10.2307\/1967631","volume":"3","author":"C. Bouton","year":"1902","unstructured":"Bouton, C.: Nim, a game with a complete mathematical theory. The Annals of Mathematics, 2nd Ser.\u00a03(1\/4), 35\u201339 (1902)","journal-title":"The Annals of Mathematics, 2nd Ser."},{"key":"4_CR7","doi-asserted-by":"crossref","unstructured":"Chatterjee, K., Henzinger, T., Piterman, N.: Strategy logic, pp. 59\u201373. Springer (2007)","DOI":"10.1007\/978-3-540-74407-8_5"},{"key":"4_CR8","doi-asserted-by":"crossref","unstructured":"Chellas, B.: Modal Logic: An Introduction. CUP (1980)","DOI":"10.1017\/CBO9780511621192"},{"key":"4_CR9","volume-title":"Getting to Yes: Negotiating Agreements Without Giving in","author":"R. Fisher","year":"1995","unstructured":"Fisher, R., Ury, W., Patton, B.: Getting to Yes: Negotiating Agreements Without Giving in. Penguin Books, Harmondsworth (1995)"},{"key":"4_CR10","doi-asserted-by":"publisher","first-page":"818","DOI":"10.2307\/2320146","volume":"86","author":"D. Gale","year":"1979","unstructured":"Gale, D.: The game of hex and Brouwer fixed-point theorem. The American Mathematical Monthly\u00a086, 818\u2013827 (1979)","journal-title":"The American Mathematical Monthly"},{"key":"4_CR11","doi-asserted-by":"crossref","unstructured":"Gale, D., Stewart, F.: Infinite games with perfect information. In: Contributions to the Theory of Games, Volume 2. Annals of Mathematics Studies, vol.\u00a028, pp. 245\u2013266. Princeton University Press (1953)","DOI":"10.1515\/9781400881970-014"},{"key":"4_CR12","unstructured":"Ghosh, S., Meijering, B.: On combining cognitive and formal modeling: a case study involving strategic reasoning. In: Proceedings of the workshop on Reasoning about other minds (RAOM 2011). CEUR Workshop Proceedings, vol.\u00a0751, pp. 79\u201392 (2011)"},{"key":"4_CR13","unstructured":"Ghosh, S., Meijering, B., Verbrugge, R.: Logic meets cognition: empirical reasoning in games. In: Proceedings of the 3rd International Workshop on Logics for Resource Bounded Agents (LRBA 2010), in 3rd Multi-Agent Logics, Languages, and Organisations Federated Workshops, MALLOW 2010. CEUR Workshop Proceedings, vol.\u00a0627, pp. 15\u201334 (2010)"},{"key":"4_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"153","DOI":"10.1007\/978-3-642-14977-1_13","volume-title":"Computational Logic in Multi-Agent Systems","author":"S. Ghosh","year":"2010","unstructured":"Ghosh, S., Ramanujam, R., Simon, S.: Playing Extensive Form Games in Parallel. In: Dix, J., Leite, J., Governatori, G., Jamroga, W. (eds.) CLIMA XI. LNCS, vol.\u00a06245, pp. 153\u2013170. Springer, Heidelberg (2010)"},{"key":"4_CR15","unstructured":"Ghosh, S., Ramanujam, R., Simon, S.: On strategy composition and game composition (2011) (manuscript)"},{"key":"4_CR16","doi-asserted-by":"publisher","first-page":"551","DOI":"10.1007\/BF01028975","volume":"51","author":"R. Goldblatt","year":"1992","unstructured":"Goldblatt, R.: Parallel action: Concurrent dynamic logic with independent modalities. Studia Logica\u00a051, 551\u2013578 (1992)","journal-title":"Studia Logica"},{"issue":"2","key":"4_CR17","doi-asserted-by":"publisher","first-page":"144","DOI":"10.1016\/0022-0000(82)90003-4","volume":"25","author":"D. Harel","year":"1982","unstructured":"Harel, D., Kozen, D., Parikh, R.: Process logic: Expressiveness, decidability, completeness. Journal of Computer and System Sciences\u00a025(2), 144\u2013170 (1982)","journal-title":"Journal of Computer and System Sciences"},{"key":"4_CR18","doi-asserted-by":"crossref","unstructured":"Harel, D., Kozen, D., Tiuryn, J.: Dynamic Logic. The MIT Press (2000)","DOI":"10.7551\/mitpress\/2516.001.0001"},{"key":"4_CR19","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/S0010-0277(02)00054-9","volume":"85","author":"T. Hedden","year":"2002","unstructured":"Hedden, T., Zhang, J.: What do you think I think you think? Strategic reasoning in matrix games. Cognition\u00a085, 1\u201336 (2002)","journal-title":"Cognition"},{"key":"4_CR20","doi-asserted-by":"publisher","first-page":"157","DOI":"10.1145\/1082473.1082497","volume-title":"Proceedings of the Fourth International Joint Conference on Autonomous Agents and Multi-Agent Systems (AAMAS 2005)","author":"W.. Hoek van der","year":"2005","unstructured":"van der Hoek, W., Jamroga, W., Wooldridge, M.: A logic for strategic reasoning. In: Proceedings of the Fourth International Joint Conference on Autonomous Agents and Multi-Agent Systems (AAMAS 2005), pp. 157\u2013164. ACM Inc., New York (2005)"},{"key":"4_CR21","volume-title":"Proceedings of the 8th International Conference on Cognitive Modeling","author":"I. Juvina","year":"2007","unstructured":"Juvina, I., Taatgen, N.A.: Modeling control strategies in the n-back task. In: Proceedings of the 8th International Conference on Cognitive Modeling. Psychology Press, New York (2007)"},{"key":"4_CR22","doi-asserted-by":"crossref","unstructured":"Kleene, S.: Representation of events in nerve nets and finite automata. In: Automata Studies. Annals of Mathematics Studies, vol.\u00a034, pp. 3\u201341. Princeton University Press (1956)","DOI":"10.1515\/9781400882618-002"},{"issue":"3","key":"4_CR23","doi-asserted-by":"publisher","first-page":"493","DOI":"10.1207\/s15516709cog0000_24","volume":"29","author":"M.C. Lovett","year":"2005","unstructured":"Lovett, M.C.: A strategy-based interpretation of Stroop. Cognitive Science\u00a029(3), 493\u2013524 (2005)","journal-title":"Cognitive Science"},{"key":"4_CR24","doi-asserted-by":"publisher","first-page":"363","DOI":"10.2307\/1971035","volume":"102","author":"D. Martin","year":"1975","unstructured":"Martin, D.: Borel Determinacy. Annals of Mathematics\u00a0102, 363\u2013371 (1975)","journal-title":"Annals of Mathematics"},{"key":"4_CR25","unstructured":"Meijering, B., van Maanen, L., van Rijn, H., Verbrugge, R.: The facilitative effect of context on second-order social reasoning. In: Proceedings of the 32nd Annual Meeting of the Cognitive Science Society. Cognitive Science Society (2010)"},{"key":"4_CR26","doi-asserted-by":"publisher","first-page":"124","DOI":"10.1006\/game.1996.0044","volume":"14","author":"D. Monderer","year":"1996","unstructured":"Monderer, D., Shapley, L.: Potential games. Games and Economic Behaviour\u00a014, 124\u2013143 (1996)","journal-title":"Games and Economic Behaviour"},{"key":"4_CR27","doi-asserted-by":"publisher","first-page":"89","DOI":"10.1073\/pnas.36.1.48","volume":"36","author":"J. Nash","year":"1950","unstructured":"Nash, J.: Equilibrium points in n-person games. Proceedings of the National Academy of Sciences\u00a036, 89\u201393 (1950)","journal-title":"Proceedings of the National Academy of Sciences"},{"key":"4_CR28","first-page":"111","volume-title":"Selected Papers of the International Conference on \u201cFoundations of Computation Theory\u201d on Topics in the Theory of Computation","author":"R. Parikh","year":"1985","unstructured":"Parikh, R.: The logic of games and its applications. Selected Papers of the International Conference on \u201cFoundations of Computation Theory\u201d on Topics in the Theory of Computation, pp. 111\u2013139. Elsevier North-Holland, Inc., New York (1985)"},{"key":"4_CR29","doi-asserted-by":"crossref","unstructured":"Paul, S., Ramanujam, R.: Imitation in large games. In: Proceedings of the First International Symposium on Games, Automata, Logics and Verification (GandALF), pp. 162\u2013172. Electronic Proceedings in Theoretical Computer Science (2010)","DOI":"10.4204\/EPTCS.25.16"},{"key":"4_CR30","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"28","DOI":"10.1007\/978-3-642-24130-7_2","volume-title":"Logic, Rationality, and Interaction","author":"S. Paul","year":"2011","unstructured":"Paul, S., Ramanujam, R.: Dynamic Restriction of Choices: Synthesis of Societal Rules. In: van Ditmarsch, H., Lang, J., Ju, S. (eds.) LORI 2011. LNCS, vol.\u00a06953, pp. 28\u201350. Springer, Heidelberg (2011)"},{"key":"4_CR31","doi-asserted-by":"crossref","unstructured":"Paul, S., Ramanujam, R.: Neighbourhood structure in large games. In: Proceedings of the 13th Conference on the Theoretical Aspects of Rationality and Knowledge (TARK 2011), pp. 121\u2013130 (2011)","DOI":"10.1145\/2000378.2000392"},{"key":"4_CR32","doi-asserted-by":"crossref","unstructured":"Paul, S., Ramanujam, R., Simon, S.: Dynamic restriction of choices: A preliminary logical report. In: Proceedings of the 12th Conference on Theoretical Aspects of Rationality and Knowledge (TARK), pp. 218\u2013226 (2009)","DOI":"10.1145\/1562814.1562844"},{"key":"4_CR33","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"389","DOI":"10.1007\/978-3-642-03073-4_40","volume-title":"Mathematical Theory and Computational Practice","author":"S. Paul","year":"2009","unstructured":"Paul, S., Ramanujam, R., Simon, S.: Stability under Strategy Switching. In: Ambos-Spies, K., L\u00f6we, B., Merkle, W. (eds.) CiE 2009. LNCS, vol.\u00a05635, pp. 389\u2013398. Springer, Heidelberg (2009)"},{"key":"4_CR34","unstructured":"Pauly, M.: Logics for Social Software. Ph.D. thesis. University of Amsterdam (2001)"},{"key":"4_CR35","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"253","DOI":"10.1007\/978-3-540-75596-8_19","volume-title":"Automated Technology for Verification and Analysis","author":"S. Pinchinat","year":"2007","unstructured":"Pinchinat, S.: A Generic Constructive Solution for Concurrent Games with Expressive Constraints on Strategies. In: Namjoshi, K.S., Yoneda, T., Higashino, T., Okamura, Y. (eds.) ATVA 2007. LNCS, vol.\u00a04762, pp. 253\u2013267. Springer, Heidelberg (2007)"},{"key":"4_CR36","doi-asserted-by":"crossref","DOI":"10.1515\/9781400828678","volume-title":"How to Solve It. A New Aspect of Mathematical Method","author":"G. Polya","year":"1945","unstructured":"Polya, G.: How to Solve It. A New Aspect of Mathematical Method. Princeton University Press, Princeton (1945)"},{"key":"4_CR37","volume-title":"The Art and Science of Negotiation","author":"H. Raiffa","year":"1982","unstructured":"Raiffa, H.: The Art and Science of Negotiation. Harvard University Press, Cambridge (1982)"},{"key":"4_CR38","volume-title":"Negotiation Analysis: The Science and Art of Collaborative Decision Making","author":"H. Raiffa","year":"2002","unstructured":"Raiffa, H., Richardson, J., Metcalfe, D.: Negotiation Analysis: The Science and Art of Collaborative Decision Making. Belknap Press of Harvard Univ. Press, Cambridge (2002)"},{"key":"4_CR39","unstructured":"Ramanujam, R., Simon, S.: Structured strategies in games on graphs. In: Logic and Automata. Text in Logic and Games, vol.\u00a02, pp. 553\u2013566. AUP (2007)"},{"key":"4_CR40","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"509","DOI":"10.1007\/978-3-642-15375-4_35","volume-title":"CONCUR 2010 - Concurrency Theory","author":"R. Ramanujam","year":"2010","unstructured":"Ramanujam, R., Simon, S.: A Communication Based Model for Games of Imperfect Information. In: Gastin, P., Laroussinie, F. (eds.) CONCUR 2010. LNCS, vol.\u00a06269, pp. 509\u2013523. Springer, Heidelberg (2010)"},{"key":"4_CR41","unstructured":"Simon, S.: A logical study of strategies in games. Ph.D. thesis, The Institute of Mathematical Sciences, Chennai (August 2009)"},{"key":"4_CR42","doi-asserted-by":"publisher","first-page":"172","DOI":"10.1007\/s002850070004","volume":"41","author":"P. Trapa","year":"2000","unstructured":"Trapa, P., Novak, M.: Nash equilibria for an evolutionary language game. Journal of Mathematical Biology\u00a041, 172\u2013188 (2000)","journal-title":"Journal of Mathematical Biology"},{"key":"4_CR43","doi-asserted-by":"crossref","unstructured":"Walther, D., van der Hoek, W., Wooldridge, M.: Alternating-time temporal logic with explicit strategies. In: Proceedings of XIth Conference (Theoretical Aspects of Rationality and Knowledge), pp. 269\u2013278 (2007)","DOI":"10.1145\/1324249.1324285"},{"key":"4_CR44","unstructured":"Zermelo, E.: \u00dcber eine Anwendung der Mengenlehre auf die Theorie des Schachspiels. In: Proceedings of the Fifth Congress of Mathematicians, pp. 501\u2013504. CUP (1913)"}],"container-title":["Lecture Notes in Computer Science","Lectures on Logic and Computation"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-31485-8_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,7,9]],"date-time":"2020-07-09T20:15:02Z","timestamp":1594325702000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-31485-8_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642314841","9783642314858"],"references-count":44,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-31485-8_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}