{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T12:10:42Z","timestamp":1725538242471},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642048920"},{"type":"electronic","value":"9783642048937"}],"license":[{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"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":[[2009]]},"DOI":"10.1007\/978-3-642-04893-7_23","type":"book-chapter","created":{"date-parts":[[2009,9,26]],"date-time":"2009-09-26T02:11:09Z","timestamp":1253931069000},"page":"292-301","source":"Crossref","is-referenced-by-count":2,"title":["An Update Operator for Strategic Ability"],"prefix":"10.1007","author":[{"given":"Paolo","family":"Turrini","sequence":"first","affiliation":[]},{"given":"Jan","family":"Broersen","sequence":"additional","affiliation":[]},{"given":"Rosja","family":"Mastop","sequence":"additional","affiliation":[]},{"given":"John-Jules","family":"Meyer","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"23_CR1","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-011-3448-4","volume-title":"Effectivity Functions in Social Choice","author":"J. Abdou","year":"1991","unstructured":"Abdou, J., Keiding, H.: Effectivity Functions in Social Choice. Kluwer Academic Publishers, Dordrecht (1991)"},{"key":"23_CR2","doi-asserted-by":"publisher","first-page":"173","DOI":"10.1090\/S0002-9904-1960-10418-1","volume":"66","author":"R.J. Aumann","year":"1960","unstructured":"Aumann, R.J., Peleg, B.: Von Neumann-Morgenstern solutions to cooperative games without side payments. Bulletin of the American Mathematical Society\u00a066, 173\u2013179 (1960)","journal-title":"Bulletin of the American Mathematical Society"},{"key":"23_CR3","doi-asserted-by":"crossref","unstructured":"Blackburn, P., de Rijke, M., Venema, Y.: Modal Logic. Cambridge Tracts in Theoretical Computer Science (2001)","DOI":"10.1017\/CBO9781107050884"},{"key":"23_CR4","unstructured":"Borgo, S.: Coalitions in action logic. In: IJCAI, pp. 1822\u20131827 (2007)"},{"key":"23_CR5","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"89","DOI":"10.1007\/978-3-540-87803-2_9","volume-title":"Logics in Artificial Intelligence","author":"J. Broersen","year":"2008","unstructured":"Broersen, J., Mastop, R., Meyer, J.-J.C., Turrini, P.: A logic for closed-world interaction. In: H\u00f6lldobler, S., Lutz, C., Wansing, H. (eds.) JELIA 2008. LNCS (LNAI), vol.\u00a05293, pp. 89\u201399. Springer, Heidelberg (2008)"},{"key":"23_CR6","unstructured":"Chatterjee, K., Henzinger, T., Piterman, N.: Strategy logic. Technical Report UCB\/EECS-2007-78, University of California, Berkeley (May 2007)"},{"issue":"1-3","key":"23_CR7","doi-asserted-by":"publisher","first-page":"93","DOI":"10.1016\/j.tcs.2005.07.043","volume":"353","author":"V. Goranko","year":"2006","unstructured":"Goranko, V., van Drimmelen, G.: Complete axiomatization and decidability of alternating-time temporal logic. Theor. Comput. Sci.\u00a0353(1-3), 93\u2013117 (2006)","journal-title":"Theor. Comput. Sci."},{"key":"23_CR8","volume-title":"A course in Game Theory","author":"M. Osborne","year":"1994","unstructured":"Osborne, M., Rubinstein, A.: A course in Game Theory. MIT Press, Cambridge (1994)"},{"key":"23_CR9","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. In: Selected papers of the international conference on \u201cfoundations of computation theory\u201d on Topics in the theory of computation, New York, NY, USA, pp. 111\u2013139. Elsevier North-Holland, Inc., Amsterdam (1985)"},{"key":"23_CR10","unstructured":"Pauly, M.: Logic for Social Software. ILLC Dissertation Series (2001)"},{"key":"23_CR11","unstructured":"van Benthem, J.: In praise of strategies. Research Report (2007), \n                    \n                      http:\/\/www.illc.uva.nl\/Publications\/ResearchReports\/PP-2008-03.text.pdf"},{"key":"23_CR12","doi-asserted-by":"publisher","first-page":"117","DOI":"10.1007\/s11245-006-0018-x","volume":"25","author":"J. Benthem van","year":"2006","unstructured":"van Benthem, J.: Where is logic going, and should it? Topoi\u00a025, 117\u2013122 (2006)","journal-title":"Topoi"},{"key":"23_CR13","unstructured":"van Benthem, J., Liu, F.: Dynamic logic of preference upgrade. Journal of Applied Non-Classical Logics\u00a014 (2004)"},{"key":"23_CR14","doi-asserted-by":"publisher","first-page":"157","DOI":"10.1145\/1082473.1082497","volume-title":"AAMAS 2005: Proceedings of the fourth international joint conference on Autonomous agents and multiagent systems","author":"W. Hoek van der","year":"2005","unstructured":"van der Hoek, W., Jamroga, W., Wooldridge, M.: A logic for strategic reasoning. In: AAMAS 2005: Proceedings of the fourth international joint conference on Autonomous agents and multiagent systems, pp. 157\u2013164. ACM, New York (2005)"},{"key":"23_CR15","doi-asserted-by":"crossref","unstructured":"van Ditmarsch, H., van der Hoek, W., Kooi, B.: Dynamic Epistemic Logic. Synthese Library (2007)","DOI":"10.1007\/978-1-4020-5839-4"}],"container-title":["Lecture Notes in Computer Science","Logic, Rationality, and Interaction"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-04893-7_23","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,9]],"date-time":"2019-03-09T23:34:55Z","timestamp":1552174495000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-04893-7_23"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642048920","9783642048937"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-04893-7_23","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2009]]}}}