{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T07:41:25Z","timestamp":1725608485036},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642223587"},{"type":"electronic","value":"9783642223594"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"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":[[2011]]},"DOI":"10.1007\/978-3-642-22359-4_11","type":"book-chapter","created":{"date-parts":[[2011,9,14]],"date-time":"2011-09-14T04:07:28Z","timestamp":1315973248000},"page":"139-156","source":"Crossref","is-referenced-by-count":3,"title":["Reasoning about Joint Action and Coalitional Ability in K n with Intersection"],"prefix":"10.1007","author":[{"given":"Thomas","family":"\u00c5gotnes","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Natasha","family":"Alechina","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"11_CR1","doi-asserted-by":"publisher","first-page":"15","DOI":"10.1145\/1324249.1324256","volume-title":"Proceedings of the 11th Conference on Theoretical Aspects of Rationality and Knowledge (TARK XI)","author":"T. \u00c5gotnes","year":"2007","unstructured":"\u00c5gotnes, T., Goranko, V., Jamroga, W.: Alternating-time temporal logics with irrevocable strategies. In: Samet, D. (ed.) Proceedings of the 11th Conference on Theoretical Aspects of Rationality and Knowledge (TARK XI), June 2007, pp. 15\u201324. Presses Universitaires de Louvain, Brussels, Belgium (2007)"},{"key":"11_CR2","doi-asserted-by":"publisher","first-page":"672","DOI":"10.1145\/585265.585270","volume":"49","author":"R. Alur","year":"2002","unstructured":"Alur, R., Henzinger, T.A., Kupferman, O.: Alternating-time temporal logic. Journal of the ACM\u00a049, 672\u2013713 (2002)","journal-title":"Journal of the ACM"},{"key":"11_CR3","doi-asserted-by":"publisher","first-page":"175","DOI":"10.1111\/j.1755-2567.1988.tb00717.x","volume":"54","author":"N. Belnap","year":"1988","unstructured":"Belnap, N., Perloff, M.: Seeing to it that: a canonical form for agentives. Theoria\u00a054, 175\u2013199 (1988)","journal-title":"Theoria"},{"key":"11_CR4","doi-asserted-by":"crossref","unstructured":"Broersen, J., Herzig, A., Troquard, N.: A normal simulation of coalition logic and an epistemic extension. In: Samet, D. (ed.) Proceedings of the 11th Conference on Theoretical Aspects of Rationality and Knowledge (TARK-2007), Brussels, Belgium, June 25-27, pp. 92\u2013101 (2007)","DOI":"10.1145\/1324249.1324264"},{"key":"11_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"34","DOI":"10.1007\/3-540-16066-3_5","volume-title":"Computation Theory","author":"S. Danecki","year":"1985","unstructured":"Danecki, S.: Nondeterministic propositional dynamic logic with intersection is decidable. In: Skowron, A. (ed.) SCT 1984. LNCS, vol.\u00a0208, pp. 34\u201353. Springer, Heidelberg (1985)"},{"key":"11_CR6","first-page":"311","volume-title":"Proc. of The Summer School and Conf. on Mathematical Logic \u201dHeyting 1988\u201d","author":"G. Gargov","year":"1988","unstructured":"Gargov, G., Passy, S.: A note on boolean modal logic. In: Proc. of The Summer School and Conf. on Mathematical Logic \u201dHeyting 1988\u201d, pp. 311\u2013321. Plenum Press, New York (1988)"},{"key":"11_CR7","first-page":"259","volume-title":"Proceeding of the Eighth Conference on Theoretical Aspects of Rationality and Knowledge (TARK VIII)","author":"V. Goranko","year":"2001","unstructured":"Goranko, V.: Coalition games and alternating temporal logics. In: Proceeding of the Eighth Conference on Theoretical Aspects of Rationality and Knowledge (TARK VIII), pp. 259\u2013272. Morgan Kaufmann, San Francisco (2001)"},{"key":"11_CR8","unstructured":"Goranko, V., Jamroga, W., Turrini, P.: Strategic games and truly playable effectivity functions. In: Tumer, Yolum, Sonenberg, Stone (eds.) Proceedings of the 10th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2011), Taipei, Taiwan, pp. 727\u2013734 (2011)"},{"key":"11_CR9","series-title":"Synthese Library","doi-asserted-by":"publisher","first-page":"497","DOI":"10.1007\/978-94-009-6259-0_10","volume-title":"Handbook of Philosophical Logic, Volume II: Extensions of Classical Logic","author":"D. Harel","year":"1984","unstructured":"Harel, D.: Dynamic logic. In: Gabbay, D., Guenthner, F. (eds.) Handbook of Philosophical Logic, Volume II: Extensions of Classical Logic. Synthese Library, vol.\u00a0165, pp. 497\u2013604. D.\u00a0Reidel Publishing Co., Dordrecht (1984)"},{"issue":"1","key":"11_CR10","doi-asserted-by":"publisher","first-page":"39","DOI":"10.1016\/j.jal.2005.08.002","volume":"4","author":"M. Lange","year":"2006","unstructured":"Lange, M.: Model checking propositional dynamic logic with all extras. J. Applied Logic\u00a04(1), 39\u201349 (2006)","journal-title":"J. Applied Logic"},{"key":"11_CR11","doi-asserted-by":"publisher","first-page":"327","DOI":"10.1007\/s10849-009-9104-y","volume":"19","author":"E. Lorini","year":"2010","unstructured":"Lorini, E.: A dynamic logic of agency II: Deterministic DLA, coalition logic, and game theory. Journal of Logic, Language and Information\u00a019, 327\u2013351 (2010)","journal-title":"Journal of Logic, Language and Information"},{"key":"11_CR12","doi-asserted-by":"publisher","first-page":"329","DOI":"10.1142\/9789812776471_0018","volume-title":"Advances in Modal Logic","author":"C. Lutz","year":"2002","unstructured":"Lutz, C., Sattler, U.: The complexity of reasoning with boolean modal logics. In: Wolter, F., Wansing, H., de Rijke, M., Zakharyaschev, M. (eds.) Advances in Modal Logic, vol.\u00a03, pp. 329\u2013348. World Scientific, Singapore (2002)"},{"key":"11_CR13","volume-title":"A Course in Game Theory","author":"M.J. Osborne","year":"1994","unstructured":"Osborne, M.J., Rubinstein, A.: A Course in Game Theory. The MIT Press, Cambridge (1994)"},{"issue":"1","key":"11_CR14","doi-asserted-by":"publisher","first-page":"149","DOI":"10.1093\/logcom\/12.1.149","volume":"12","author":"M. Pauly","year":"2002","unstructured":"Pauly, M.: A modal logic for coalitional power in games. Journal of Logic and Computation\u00a012(1), 149\u2013166 (2002)","journal-title":"Journal of Logic and Computation"},{"issue":"4","key":"11_CR15","doi-asserted-by":"crossref","first-page":"219","DOI":"10.1111\/1467-8586.00133","volume":"53","author":"Johan van Benthem","year":"2001","unstructured":"van Benthem, J.: Games in dynamic-epistemic logic. Bulletin of Economic Research\u00a053(4), 219\u2013248 (2001)","journal-title":"Bulletin of Economic Research"},{"key":"11_CR16","doi-asserted-by":"publisher","first-page":"289","DOI":"10.1023\/A:1015534111901","volume":"11","author":"J. Benthem van","year":"2002","unstructured":"van Benthem, J.: Extensive games as process models. J. of Logic, Lang. and Inf.\u00a011, 289\u2013313 (2002)","journal-title":"J. of Logic, Lang. and Inf."},{"key":"11_CR17","first-page":"1152","volume-title":"The Handbook of Modal Logic","author":"W. Hoek van der","year":"2006","unstructured":"van der Hoek, W., Pauly, M.: Modal logic for games and information. In: van Benthem, J., Blackburn, P., Wolter, F. (eds.) The Handbook of Modal Logic, pp. 1152\u20131180. Elsevier, Amsterdam (2006)"}],"container-title":["Lecture Notes in Computer Science","Computational Logic in Multi-Agent Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-22359-4_11","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2018,10,10]],"date-time":"2018-10-10T15:36:54Z","timestamp":1539185814000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-22359-4_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642223587","9783642223594"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-22359-4_11","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2011]]}}}