{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T15:18:01Z","timestamp":1725549481270},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540240587"},{"type":"electronic","value":"9783540305385"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-30538-5_42","type":"book-chapter","created":{"date-parts":[[2010,3,12]],"date-time":"2010-03-12T08:40:30Z","timestamp":1268383230000},"page":"506-517","source":"Crossref","is-referenced-by-count":1,"title":["Reasoning About Game Equilibria Using Temporal Logic"],"prefix":"10.1007","author":[{"given":"G.","family":"Venkatesh","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"42_CR1","doi-asserted-by":"publisher","first-page":"305","DOI":"10.1111\/1468-0297.00121","volume":"113","author":"G.B. Asheim","year":"2003","unstructured":"Asheim, G.B., Dufwenberg, M.: Deductive Reasoning in Extensive Games. The Economic Journal\u00a0113, 305\u2013325 (2003)","journal-title":"The Economic Journal"},{"key":"#cr-split#-42_CR2.1","doi-asserted-by":"crossref","unstructured":"Bonanno, G.: Branching time logic, perfect information games and backward induction. In: 3rd Conference on Logic and Foundations of Game and Decision Theory, Torino, Italy (December 1998);","DOI":"10.2139\/ssrn.140988"},{"key":"#cr-split#-42_CR2.2","unstructured":"International Centre for Economic Research (ICER)"},{"key":"#cr-split#-42_CR3.1","unstructured":"Harrenstein, P.: A Game-Theoretical Notion of Consequence. In: 5th Conference on Logic and Foundations of Game and Decision Theory, Torino, Italy (June 2002);"},{"key":"#cr-split#-42_CR3.2","unstructured":"International Centre for Economic Research (ICER)"},{"key":"42_CR4","first-page":"281","volume":"57","author":"P. Harrenstein","year":"2003","unstructured":"Harrenstein, P., van der Hoek, W., Meyer, J.-J., Witteven, C.: A Modal Characterization of Nash Equilibrium. Fundamenta Informaticae\u00a057, 281\u2013321 (2003)","journal-title":"Fundamenta Informaticae"},{"key":"42_CR5","unstructured":"Janssen, G.L.J.M.: Hardware verification using Temporal Logic: A Practical View. In: Claesen, L.J.M. (ed), IFIP 1990, pp. 159\u2013168 (1990), Available at the TLA home page, http:\/\/research.microsoft.com\/users\/lamport\/tla\/logic-calculators.html"},{"key":"42_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"266","DOI":"10.1007\/3-540-48168-0_19","volume-title":"Computer Science Logic","author":"M. Vos De","year":"1999","unstructured":"De Vos, M., Vermeir, D.: Choice logic programs and nash equilibria in strategic games. In: Flum, J., Rodr\u00edguez-Artalejo, M. (eds.) CSL 1999. LNCS, vol.\u00a01683, pp. 266\u2013276. Springer, Heidelberg (1999)"},{"key":"42_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"227","DOI":"10.1007\/3-540-44450-5_18","volume-title":"FST TCS 2000: Foundations of Software Technology and Theoretical Science","author":"M. Vos De","year":"2000","unstructured":"De Vos, M., Vermeir, D.: Dynamically ordered probabilistic choice logic programming. In: Kapoor, S., Prasad, S. (eds.) FST TCS 2000. LNCS, vol.\u00a01974, p. 227. Springer, Heidelberg (2000)"},{"key":"42_CR8","volume-title":"A Course in Game Theory","author":"M.J. Osborne","year":"1996","unstructured":"Osborne, M.J., Rubinstein, A.: A Course in Game Theory, 3rd edn. MIT Press, Cambridge (1996)","edition":"3"},{"key":"42_CR9","first-page":"293","volume-title":"Research in Economics","author":"R. Stalnaker","year":"1999","unstructured":"Stalnaker, R.: Extensive and strategic forms: Games and models for games. In: Research in Economics, vol.\u00a053, pp. 293\u2013319. Academic Press, London (1999)"},{"key":"42_CR10","unstructured":"van Benthem: Logic and Games. Lecture notes. ILLC Amsterdam & Stanford University (1999)"},{"key":"42_CR11","unstructured":"van Otterloo, S., van der Hoek, W., Woolridge, M.: Preferences in Game Logics. In: AAMAS 2004, New York (2004), http:\/\/www.aamas2004.org\/proceedings\/021_otterloos_preferences.pdf"},{"key":"42_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"272","DOI":"10.1007\/3-540-16042-6_15","volume-title":"Foundations of Software Technology and Theoretical Computer Science","author":"G. Venkatesh","year":"1985","unstructured":"Venkatesh, G.: A decision method for temporal logic based on resolution. In: Maheshwari, S.N. (ed.) FSTTCS 1985. LNCS, vol.\u00a0206, pp. 272\u2013289. Springer, Heidelberg (1985)"},{"key":"42_CR13","first-page":"119","volume":"28","author":"P. Wolper","year":"1985","unstructured":"Wolper, P.: The tableau method for temporal logic - an overview. Logique et Analyse\u00a028, 119\u2013152 (1985)","journal-title":"Logique et Analyse"},{"issue":"3","key":"42_CR14","doi-asserted-by":"crossref","first-page":"225","DOI":"10.1080\/11663081.1998.10510944","volume":"8","author":"M. Woolridge","year":"1998","unstructured":"Woolridge, M., Dixon, C., Fisher, M.: A tableau based proof procedure for temporal logics of knowledge and belief. Journal of Applied Non-Classical Logics\u00a08(3), 225\u2013258 (1998)","journal-title":"Journal of Applied Non-Classical Logics"}],"container-title":["Lecture Notes in Computer Science","FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-30538-5_42.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,18]],"date-time":"2020-11-18T23:58:57Z","timestamp":1605743937000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-30538-5_42"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540240587","9783540305385"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-30538-5_42","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}