{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,16]],"date-time":"2026-04-16T05:23:11Z","timestamp":1776316991132,"version":"3.50.1"},"reference-count":35,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2015,3,24]],"date-time":"2015-03-24T00:00:00Z","timestamp":1427155200000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/creativecommons.org\/licenses\/by\/4.0"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Auton Agent Multi-Agent Syst"],"published-print":{"date-parts":[[2016,5]]},"DOI":"10.1007\/s10458-015-9294-4","type":"journal-article","created":{"date-parts":[[2015,3,23]],"date-time":"2015-03-23T06:24:51Z","timestamp":1427091891000},"page":"446-485","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":4,"title":["State and path coalition effectivity models of concurrent multi-player games"],"prefix":"10.1007","volume":"30","author":[{"given":"Valentin","family":"Goranko","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Wojciech","family":"Jamroga","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2015,3,24]]},"reference":[{"key":"9294_CR1","doi-asserted-by":"crossref","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. (1991). Effectivity functions in social choice. Heidelberg: Springer."},{"key":"9294_CR2","doi-asserted-by":"crossref","unstructured":"\u00c5gotnes, T., Goranko, V., & Jamroga, W. (2007). Alternating-time temporal logics with irrevocable strategies. In D. Samet (Ed.) Proceedings of TARK XI (pp. 15\u201324).","DOI":"10.1145\/1324249.1324256"},{"key":"9294_CR3","unstructured":"Alechina, N., Logan, B., Nga, N., & Rakib, A. (2009). A logic for coalitions with bounded resources. In Proceedings of IJCAI (pp. 659\u2013664)."},{"key":"9294_CR4","doi-asserted-by":"crossref","unstructured":"Alur, R., Henzinger, T.A., & Kupferman, O. (1997). Alternating-time Temporal Logic. In Proceedings of the 38th Annual Symposium on Foundations of Computer Science (FOCS) (pp. 100\u2013109). IEEE Computer Society Press, Los Alamitos.","DOI":"10.1109\/SFCS.1997.646098"},{"key":"9294_CR5","doi-asserted-by":"crossref","first-page":"23","DOI":"10.1007\/3-540-49213-5_2","volume":"1536","author":"R Alur","year":"1998","unstructured":"Alur, R., Henzinger, T. A., & Kupferman, O. (1998). Alternating-time temporal logic. Lecture Notes in Computer Science, 1536, 23\u201360.","journal-title":"Lecture Notes in Computer Science"},{"key":"9294_CR6","doi-asserted-by":"crossref","first-page":"672","DOI":"10.1145\/585265.585270","volume":"49","author":"R Alur","year":"2002","unstructured":"Alur, R., Henzinger, T. A., & Kupferman, O. (2002). Alternating-time temporal logic. Journal of the ACM, 49, 672\u2013713. doi: 10.1145\/585265.585270 .","journal-title":"Journal of the ACM"},{"issue":"3","key":"9294_CR7","doi-asserted-by":"crossref","first-page":"175","DOI":"10.1111\/j.1755-2567.1988.tb00717.x","volume":"54","author":"N Belnap","year":"1988","unstructured":"Belnap, N., & Perloff, M. (1988). Seeing to it that: A canonical form for agentives. Theoria, 54(3), 175\u2013199.","journal-title":"Theoria"},{"key":"9294_CR8","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: Oxford University Press."},{"issue":"2","key":"9294_CR9","doi-asserted-by":"crossref","first-page":"512","DOI":"10.1016\/j.geb.2009.09.002","volume":"68","author":"E Boros","year":"2010","unstructured":"Boros, E., Elbassioni, K., Gurvich, V., & Makino, K. (2010). On effectivity functions of game forms. Games and Economic Behavior, 68(2), 512\u2013531.","journal-title":"Games and Economic Behavior"},{"issue":"2","key":"9294_CR10","doi-asserted-by":"crossref","first-page":"127","DOI":"10.1016\/j.jal.2010.06.002","volume":"9","author":"J Broersen","year":"2011","unstructured":"Broersen, J. (2011). Deontic epistemic stit logic distinguishing modes of mens rea. Journal of Applied Logic, 9(2), 127\u2013152.","journal-title":"Journal of Applied Logic"},{"issue":"5","key":"9294_CR11","doi-asserted-by":"crossref","first-page":"559","DOI":"10.1093\/logcom\/exl025","volume":"16","author":"J Broersen","year":"2006","unstructured":"Broersen, J., Herzig, A., & Troquard, N. (2006). Embedding alternating-time temporal logic in strategic STIT logic of agency. Journal of Logic and Computation, 16(5), 559\u2013578.","journal-title":"Journal of Logic and Computation"},{"issue":"3","key":"9294_CR12","doi-asserted-by":"crossref","first-page":"474","DOI":"10.1007\/s10458-013-9231-3","volume":"28","author":"N Bulling","year":"2014","unstructured":"Bulling, N., & Jamroga, W. (2014). Comparing variants of strategic ability. Journal of Autonomous Agents and Multi-Agent Systems, 28(3), 474\u2013518.","journal-title":"Journal of Autonomous Agents and Multi-Agent Systems"},{"issue":"3","key":"9294_CR13","doi-asserted-by":"crossref","first-page":"393","DOI":"10.1007\/s11225-010-9291-1","volume":"96","author":"R Ciuni","year":"2010","unstructured":"Ciuni, R., & Zanardo, A. (2010). Completeness of a branching-time logic with possible choices. Studia Logica, 96(3), 393\u2013420.","journal-title":"Studia Logica"},{"issue":"1","key":"9294_CR14","doi-asserted-by":"crossref","first-page":"151","DOI":"10.1145\/4904.4999","volume":"33","author":"E Emerson","year":"1986","unstructured":"Emerson, E., & Halpern, J. (1986). \u201cSometimes\u201d and \u201cnot never\u201d revisited: On branching versus linear time temporal logic. Journal of the ACM, 33(1), 151\u2013178.","journal-title":"Journal of the ACM"},{"key":"9294_CR15","doi-asserted-by":"crossref","first-page":"121","DOI":"10.1016\/0304-3975(83)90082-8","volume":"26","author":"EA Emerson","year":"1983","unstructured":"Emerson, E. A. (1983). Alternative semantics for temporal logics. Theoretical Computer Science, 26, 121\u2013130.","journal-title":"Theoretical Computer Science"},{"key":"9294_CR16","unstructured":"Goranko, V. (2001). Coalition games and alternating temporal logics. In J. van Benthem (Ed.) Proceedings of TARK VIII (pp. 259\u2013272). Morgan Kaufmann, Siena."},{"issue":"2","key":"9294_CR17","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"},{"key":"9294_CR18","unstructured":"Goranko, V., & Jamroga, W. (2012). State and path effectivity models for logics of multi-player games. In Proceedings of AAMAS (pp. 1123\u20131130)."},{"issue":"2","key":"9294_CR19","doi-asserted-by":"crossref","first-page":"288","DOI":"10.1007\/s10458-012-9192-y","volume":"26","author":"V Goranko","year":"2013","unstructured":"Goranko, V., Jamroga, W., & Turrini, P. (2013). Strategic games and truly playable effectivity functions. Journal of Autonomous Agents and Multi-Agent Systems, 26(2), 288\u2013314.","journal-title":"Journal of Autonomous Agents and Multi-Agent Systems"},{"key":"9294_CR20","doi-asserted-by":"crossref","unstructured":"Herzig, A., & Troquard, N. (2006). Knowing how to play: Uniform choices in logics of agency. In Proceedings of AAMAS\u201906 (pp. 209\u2013216).","DOI":"10.1145\/1160633.1160666"},{"key":"9294_CR21","doi-asserted-by":"crossref","first-page":"1167","DOI":"10.1145\/545056.545095","volume-title":"Proceedings of the First International Joint Conference on Autonomous Agents and Multi-Agent Systems (AAMAS-02)","author":"W Hoek van der","year":"2002","unstructured":"van der Hoek, W., & Wooldridge, M. (2002). Tractable multiagent planning for epistemic goals. In C. Castelfranchi & W. Johnson (Eds.), Proceedings of the First International Joint Conference on Autonomous Agents and Multi-Agent Systems (AAMAS-02) (pp. 1167\u20131174). New York: ACM Press."},{"key":"9294_CR22","doi-asserted-by":"crossref","first-page":"583","DOI":"10.1007\/BF01306968","volume":"24","author":"J Horty","year":"1995","unstructured":"Horty, J., & Belnap, N. (1995). The deliberative stit: A study of action, omission, ability, and obligation. Journal of Philosophical Logic, 24, 583\u2013644.","journal-title":"Journal of Philosophical Logic"},{"key":"9294_CR23","doi-asserted-by":"crossref","DOI":"10.1093\/0195134613.001.0001","volume-title":"Agency and Deontic Logic","author":"JF Horty","year":"2001","unstructured":"Horty, J. F. (2001). Agency and Deontic Logic. Oxford: Oxford University Press."},{"issue":"4","key":"9294_CR24","doi-asserted-by":"crossref","first-page":"372","DOI":"10.1080\/11663081.2013.841359","volume":"23","author":"E Lorini","year":"2013","unstructured":"Lorini, E. (2013). Temporal stit logic and its application to normative reasoning. Journal of Applied Non-Classical Logics, 23(4), 372\u2013399.","journal-title":"Journal of Applied Non-Classical Logics"},{"issue":"1","key":"9294_CR25","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":"9294_CR26","volume-title":"A course in game theory","author":"M Osborne","year":"1994","unstructured":"Osborne, M., & Rubinstein, A. (1994). A course in game theory. Cambridge: MIT Press."},{"key":"9294_CR27","unstructured":"Pauly, M. (2001). Logic for social software. Ph.D. thesis, University of Amsterdam, Amsterdam."},{"issue":"4","key":"9294_CR28","doi-asserted-by":"crossref","first-page":"305","DOI":"10.1111\/1467-8586.00136","volume":"53","author":"M Pauly","year":"2001","unstructured":"Pauly, M. (2001). A logical framework for coalitional effectivity in dynamic procedures. Bulletin of Economic Research, 53(4), 305\u2013324.","journal-title":"Bulletin of Economic Research"},{"issue":"1","key":"9294_CR29","doi-asserted-by":"crossref","first-page":"149","DOI":"10.1093\/logcom\/12.1.149","volume":"12","author":"M Pauly","year":"2002","unstructured":"Pauly, M. (2002). A modal logic for coalitional power in games. Journal of Logic and Computation, 12(1), 149\u2013166.","journal-title":"Journal of Logic and Computation"},{"issue":"1","key":"9294_CR30","doi-asserted-by":"crossref","first-page":"67","DOI":"10.1007\/s003550050092","volume":"15","author":"B Peleg","year":"1997","unstructured":"Peleg, B. (1997). Effectivity functions, game forms, games, and rights. Social Choice and Welfare, 15(1), 67\u201380.","journal-title":"Social Choice and Welfare"},{"key":"9294_CR31","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":"9294_CR32","doi-asserted-by":"crossref","first-page":"88","DOI":"10.1016\/0022-0531(72)90120-2","volume":"5","author":"R Rosenthal","year":"1972","unstructured":"Rosenthal, R. (1972). Cooperative games in effectiveness form. Journal of Economic Theory, 5, 88\u2013101.","journal-title":"Journal of Economic Theory"},{"issue":"2","key":"9294_CR33","doi-asserted-by":"crossref","first-page":"82","DOI":"10.1016\/S1571-0661(05)82604-0","volume":"85","author":"PY Schobbens","year":"2004","unstructured":"Schobbens, P. Y. (2004). Alternating-time logic with imperfect recall. Electronic Notes in Theoretical Computer Science, 85(2), 82\u201393.","journal-title":"Electronic Notes in Theoretical Computer Science"},{"key":"9294_CR34","doi-asserted-by":"crossref","first-page":"235","DOI":"10.1007\/BF01295853","volume":"26","author":"T Storcken","year":"1997","unstructured":"Storcken, T. (1997). Effectivity functions and simple games. International Journal of Game Theory, 26, 235\u2013248.","journal-title":"International Journal of Game Theory"},{"key":"9294_CR35","volume-title":"An Introduction to Multi Agent Systems","author":"M Wooldridge","year":"2002","unstructured":"Wooldridge, M. (2002). An Introduction to Multi Agent Systems. Chichester: John Wiley & Sons."}],"container-title":["Autonomous Agents and Multi-Agent Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10458-015-9294-4.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10458-015-9294-4\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10458-015-9294-4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,6,7]],"date-time":"2024-06-07T23:40:51Z","timestamp":1717803651000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10458-015-9294-4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,3,24]]},"references-count":35,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2016,5]]}},"alternative-id":["9294"],"URL":"https:\/\/doi.org\/10.1007\/s10458-015-9294-4","relation":{},"ISSN":["1387-2532","1573-7454"],"issn-type":[{"value":"1387-2532","type":"print"},{"value":"1573-7454","type":"electronic"}],"subject":[],"published":{"date-parts":[[2015,3,24]]}}}