{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,22]],"date-time":"2026-02-22T07:23:40Z","timestamp":1771745020161,"version":"3.50.1"},"reference-count":17,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2012,1,18]],"date-time":"2012-01-18T00:00:00Z","timestamp":1326844800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Auton Agent Multi-Agent Syst"],"published-print":{"date-parts":[[2013,3]]},"DOI":"10.1007\/s10458-012-9192-y","type":"journal-article","created":{"date-parts":[[2012,1,17]],"date-time":"2012-01-17T06:48:37Z","timestamp":1326782917000},"page":"288-314","source":"Crossref","is-referenced-by-count":25,"title":["Strategic games and truly playable effectivity functions"],"prefix":"10.1007","volume":"26","author":[{"given":"Valentin","family":"Goranko","sequence":"first","affiliation":[]},{"given":"Wojciech","family":"Jamroga","sequence":"additional","affiliation":[]},{"given":"Paolo","family":"Turrini","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2012,1,18]]},"reference":[{"key":"9192_CR1","first-page":"23","volume-title":"COMPOS, volume 1536 of Lecture notes in computer science","author":"R. Alur","year":"1997","unstructured":"Alur R., Henzinger T. A., Kupferman O. (1997) Alternating-time temporal logic. In: de Roever W. P., Langmaack H., Pnueli A. (eds) COMPOS, volume 1536 of Lecture notes in computer science. Springer, Berlin, pp 23\u201360"},{"key":"9192_CR2","doi-asserted-by":"crossref","DOI":"10.1093\/oso\/9780195138788.001.0001","volume-title":"Facing the future: Agents and choices in our indeterminist world","author":"N. Belnap","year":"2001","unstructured":"Belnap N., Perloff M., Xu M. (2001) Facing the future: Agents and choices in our indeterminist world. Oxford University Press, Oxford"},{"key":"9192_CR3","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9781107050884","volume-title":"Modal logic","author":"P. Blackburn","year":"2001","unstructured":"Blackburn P., de Rijke M., Venema Y. (2001) Modal logic. Cambridge Tracts in Theoretical Computer Science, Cambridge, MA"},{"key":"9192_CR4","unstructured":"Broersen, J., Herzig, A., & Troquard, N. (2007). A normal simulation of coalition logic and an epistemic extension. In: Samet, D. (Ed.), Proceedings theoretical aspects rationality and knowledge (TARK XI), Brussels (pp 92\u2013101). Athens: ACM Digital Library."},{"issue":"2","key":"9192_CR5","first-page":"351","volume":"169","author":"J. Broersen","year":"2009","unstructured":"Broersen J., Mastop R., Meyer J.-J. Ch., Turrini P. (2009) Determining the environment: A modal logic for closed interaction. Synthese, special section of Knowledge, Rationality and Action 169(2): 351\u2013369","journal-title":"Synthese, special section of Knowledge, Rationality and Action"},{"key":"9192_CR6","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511621192","volume-title":"Modal logic: An Introduction","author":"B. Chellas","year":"1980","unstructured":"Chellas B. (1980) Modal logic: An Introduction. Cambridge University Press, Cambridge, MA"},{"issue":"2","key":"9192_CR7","doi-asserted-by":"crossref","first-page":"241","DOI":"10.1023\/B:SYNT.0000024915.66183.d1","volume":"139","author":"V. Goranko","year":"2004","unstructured":"Goranko V., Jamroga W. (2004) Comparing semantics of logics for multi-agent systems. Synthese 139(2): 241\u2013280","journal-title":"Synthese"},{"issue":"1\u20133","key":"9192_CR8","doi-asserted-by":"crossref","first-page":"93","DOI":"10.1016\/j.tcs.2005.07.043","volume":"353","author":"V. Goranko","year":"2006","unstructured":"Goranko V., van Drimmelen G. (2006) Complete axiomatization and decidability of alternating-time temporal logic. Theoretical Computer Science 353(1\u20133): 93\u2013117","journal-title":"Theoretical Computer Science"},{"key":"9192_CR9","unstructured":"Goranko, V., Jamroga, W., & Turrini, P. (2010). Strategic games and truly playable effectivity functions. In Proceedings of EUMAS2010."},{"key":"9192_CR10","unstructured":"Goranko, V., Jamroga, W., & Turrini, P. (2011). Strategic games and truly playable effectivity functions. In Proceedings of AAMAS2011 (pp 727\u2013734)."},{"key":"9192_CR11","unstructured":"Hansen, H. H. (2003). Monotonic modal logics. Master Thesis, Universiteit van Amsterdam."},{"key":"9192_CR12","doi-asserted-by":"crossref","unstructured":"Hansen, H. H., & Pauly, M. (2002). Axiomatising Nash-consistent coalition logic. In Proceedings of JELIA (pp 394\u2013406).","DOI":"10.1007\/3-540-45757-7_33"},{"issue":"1","key":"9192_CR13","doi-asserted-by":"crossref","first-page":"115","DOI":"10.1016\/0304-4068(82)90009-X","volume":"10","author":"H. Moulin","year":"1982","unstructured":"Moulin H., Peleg B. (1982) Cores of effectivity functions and implementation theory. Journal of Mathematical Economics 10(1): 115\u2013145","journal-title":"Journal of Mathematical Economics"},{"key":"9192_CR14","volume-title":"A course in Game Theory","author":"M. Osborne","year":"1994","unstructured":"Osborne M., Rubinstein A. (1994) A course in Game Theory. The MIT Press, Cambridge, MA"},{"key":"9192_CR15","unstructured":"Pauly, M. (2001). Logic for social software. PhD Thesis, University of Amsterdam, ILLC Dissertation Series."},{"key":"9192_CR16","doi-asserted-by":"crossref","first-page":"67","DOI":"10.1007\/s003550050092","volume":"15","author":"B. Peleg","year":"1998","unstructured":"Peleg B. (1998) Effectivity functions, game forms, games and rights. Social Choice and Welfare 15: 67\u201380","journal-title":"Social Choice and Welfare"},{"key":"9192_CR17","unstructured":"Seylan, \u00a0\u0130, & Jamroga, W. (2009). Description logic for coalitions. In Proceedings of AAMAS\u201909 (pp 425\u2013432)."}],"container-title":["Autonomous Agents and Multi-Agent Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10458-012-9192-y.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10458-012-9192-y\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10458-012-9192-y","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,4,17]],"date-time":"2024-04-17T22:13:55Z","timestamp":1713392035000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10458-012-9192-y"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,1,18]]},"references-count":17,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2013,3]]}},"alternative-id":["9192"],"URL":"https:\/\/doi.org\/10.1007\/s10458-012-9192-y","relation":{},"ISSN":["1387-2532","1573-7454"],"issn-type":[{"value":"1387-2532","type":"print"},{"value":"1573-7454","type":"electronic"}],"subject":[],"published":{"date-parts":[[2012,1,18]]}}}