{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,6,6]],"date-time":"2024-06-06T20:39:31Z","timestamp":1717706371966},"reference-count":52,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2013,6,4]],"date-time":"2013-06-04T00:00:00Z","timestamp":1370304000000},"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":[[2014,5]]},"DOI":"10.1007\/s10458-013-9229-x","type":"journal-article","created":{"date-parts":[[2013,6,3]],"date-time":"2013-06-03T09:14:31Z","timestamp":1370250871000},"page":"381-407","source":"Crossref","is-referenced-by-count":12,"title":["Reasoning about coalitional agency and ability in the logics of \u201cbringing-it-about\u201d"],"prefix":"10.1007","volume":"28","author":[{"given":"Nicolas","family":"Troquard","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2013,6,4]]},"reference":[{"key":"9229_CR1","doi-asserted-by":"crossref","unstructured":"Abdou, J., & Keiding, H. (1991). Effectivity functions in social choice. Dordrecht: Kluwer Academic Publishers.","DOI":"10.1007\/978-94-011-3448-4"},{"issue":"5","key":"9229_CR2","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. The Journal of the ACM, 49(5), 672\u2013713.","journal-title":"The Journal of the ACM"},{"issue":"3","key":"9229_CR3","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":"9229_CR4","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."},{"key":"9229_CR5","unstructured":"Bottazzi, E., & Ferrario, R. (2011). Critical situations from spontaneous to sophisticated social interactions. In New trends in the philosophy of the social sciences, Madrid, 28\u201329 September 2011."},{"issue":"5","key":"9229_CR6","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"},{"key":"9229_CR7","unstructured":"Broersen, J., Herzig, A., Troquard, N., & (2007). Normal simulation of coalition logic and an epistemic extension. In Proceedings of TARK, 2007. Brussels, Belgium: ACM DL."},{"issue":"3","key":"9229_CR8","doi-asserted-by":"crossref","first-page":"261","DOI":"10.3166\/jancl.19.261-290","volume":"19","author":"J Broersen","year":"2009","unstructured":"Broersen, J., Herzig, A., & Troquard, N. (2009). What groups do, can do, and know they can do: An analysis in normal modal logics. Journal of Applied Non-Classical Logics, 19(3), 261\u2013290.","journal-title":"Journal of Applied Non-Classical Logics"},{"key":"9229_CR9","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/BF00249673","volume":"17","author":"MA Brown","year":"1988","unstructured":"Brown, M. A. (1988). On the logic of ability. Journal of Philosophical Logic, 17, 1\u201326.","journal-title":"Journal of Philosophical Logic"},{"issue":"1","key":"9229_CR10","doi-asserted-by":"crossref","first-page":"66","DOI":"10.1093\/jigpal\/jzp072","volume":"18","author":"J Carmo","year":"2010","unstructured":"Carmo, J. (2010). Collective agency, direct action and dynamic operators. Logic Journal of the IGPL, 18(1), 66\u201398.","journal-title":"Logic Journal of the IGPL"},{"key":"9229_CR11","first-page":"129","volume":"48","author":"J Carmo","year":"2001","unstructured":"Carmo, J., & Pacheco, O. (2001). Deontic and action logics for organized collective agency modeled through institutionalized agents and roles. Fundamenta Informaticae, 48, 129\u2013163.","journal-title":"Fundamenta Informaticae"},{"key":"9229_CR12","volume-title":"The logical form of imperatives","author":"B Chellas","year":"1969","unstructured":"Chellas, B. (1969). The logical form of imperatives. Stanford: Perry Lane Press."},{"key":"9229_CR13","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: Cambridge University Press."},{"key":"9229_CR14","unstructured":"Davidson, D. (1967). The logical form of action sentences. In N. Rescher (Ed.), The logic of decision and action. Pittsburgh: University of Pittsburgh Press."},{"key":"9229_CR15","unstructured":"Elgesem, D.: Action theory and modal logic. Ph.D. thesis, Universitetet i Oslo, Oslo (1993)."},{"issue":"2","key":"9229_CR16","first-page":"1","volume":"2","author":"D Elgesem","year":"1997","unstructured":"Elgesem, D. (1997). The modal logic of agency. Nordic Journal of Philosophical Logic, 2(2), 1\u201346.","journal-title":"Nordic Journal of Philosophical Logic"},{"key":"9229_CR17","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511818172","volume-title":"The importance of what we care about","author":"H Frankfurt","year":"1988","unstructured":"Frankfurt, H. (1988). The importance of what we care about. Cambridge: Cambridge University Press."},{"key":"9229_CR18","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. Autonomous Agents and Multi-Agent Systems, 26, 288\u2013314.","journal-title":"Autonomous Agents and Multi-Agent Systems"},{"key":"9229_CR19","doi-asserted-by":"crossref","first-page":"403","DOI":"10.1007\/s10992-004-6368-1","volume":"34","author":"G Governatori","year":"2005","unstructured":"Governatori, G., & Rotolo, A. (2005). On the axiomatisation of Elgesem\u2019s logic of agency and ability. Journal of Philosophical Logic, 34, 403\u2013431.","journal-title":"Journal of Philosophical Logic"},{"issue":"2","key":"9229_CR20","doi-asserted-by":"crossref","first-page":"319","DOI":"10.1016\/0004-3702(92)90049-4","volume":"54","author":"JY Halpern","year":"1992","unstructured":"Halpern, J. Y., & Moses, Y. (1992). A guide to completeness and complexity for modal logics of knowledge and belief. Artificial Intelligence, 54(2), 319\u2013379.","journal-title":"Artificial Intelligence"},{"key":"9229_CR21","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/2516.001.0001","volume-title":"Dynamic logic","author":"D Harel","year":"2000","unstructured":"Harel, D., Kozen, D., & Tiuryn, J. (2000). Dynamic logic. Cambridge: MIT Press."},{"key":"9229_CR22","unstructured":"Herzig, A., & Schwarzentruber, F. (2008). Properties of logics of individual and group agency. In Proceeding of advances in modal logic (pp. 133\u2013149)."},{"key":"9229_CR23","doi-asserted-by":"crossref","unstructured":"Herzig, A., & Troquard, N. (2006). Knowing how to play: Uniform choices in logics of agency. In Proceedings of AAMAS, 2006 (pp. 209\u2013216). IFAAMAS.","DOI":"10.1145\/1160633.1160666"},{"key":"9229_CR24","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":"3","key":"9229_CR25","doi-asserted-by":"crossref","first-page":"429","DOI":"10.1093\/jigpal\/4.3.427","volume":"4","author":"A Jones","year":"1996","unstructured":"Jones, A., & Sergot, M. (1996). A formal characterization of institutionalised power. Journal of the IGPL, 4(3), 429\u2013445.","journal-title":"Journal of the IGPL"},{"key":"9229_CR26","doi-asserted-by":"crossref","first-page":"85","DOI":"10.1111\/j.1755-2567.1966.tb00594.x","volume":"32","author":"S Kanger","year":"1966","unstructured":"Kanger, S., & Kanger, H. (1966). Rights and parliamentarism. Theoria, 32, 85\u2013115.","journal-title":"Theoria"},{"issue":"2","key":"9229_CR27","doi-asserted-by":"crossref","first-page":"102","DOI":"10.1093\/analys\/56.2.102","volume":"56","author":"T Kapitan","year":"1996","unstructured":"Kapitan, T. (1996). Incompatibilism and ambiguity in the practical modalities. Analysis, 56(2), 102\u2013110.","journal-title":"Analysis"},{"key":"9229_CR28","volume-title":"Will, freedom and power","author":"A Kenny","year":"1975","unstructured":"Kenny, A. (1975). Will, freedom and power. Oxford: Blackwell."},{"issue":"3","key":"9229_CR29","doi-asserted-by":"crossref","first-page":"467","DOI":"10.1137\/0206033","volume":"6","author":"RE Ladner","year":"1977","unstructured":"Ladner, R. E. (1977). The computational complexity of provability in systems of modal propositional logic. The SIAM Journal on Computing, 6(3), 467\u2013480.","journal-title":"The SIAM Journal on Computing"},{"key":"9229_CR30","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-010-1202-7","volume-title":"Position and change\u2013A study in law and logic","author":"L Lindahl","year":"1977","unstructured":"Lindahl, L. (1977). Position and change\u2013A study in law and logic. Dordrecht: D. Reidel."},{"key":"9229_CR31","doi-asserted-by":"crossref","unstructured":"Mele, A. R. (2003). Agent\u2019s abilities. No\u00fbs, 37(3), 447\u2013470.","DOI":"10.1111\/1468-0068.00446"},{"key":"9229_CR32","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511612954","volume-title":"Social action (a teleological account)","author":"S Miller","year":"2001","unstructured":"Miller, S. (2001). Social action (a teleological account). Cambridge: Cambridge University Press."},{"key":"9229_CR33","doi-asserted-by":"crossref","unstructured":"Norman, T. J., & Reed, C. (2010). A logic of delegation. Artificial Intelligence, 174, 51\u201371.","DOI":"10.1016\/j.artint.2009.10.001"},{"key":"9229_CR34","doi-asserted-by":"crossref","first-page":"145","DOI":"10.1023\/A:1021884118023","volume":"6","author":"O Pacheco","year":"2003","unstructured":"Pacheco, O., & Carmo, J. (2003). A role based model for the normative specification of organized collective agency and agents interaction. Autonomous Agents and Multi-Agent Systems, 6, 145\u2013184.","journal-title":"Autonomous Agents and Multi-Agent Systems"},{"issue":"1","key":"9229_CR35","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"},{"key":"9229_CR36","volume-title":"The logic of power","author":"I P\u00f6rn","year":"1970","unstructured":"P\u00f6rn, I. (1970). The logic of power. Oxford: Blackwell."},{"key":"9229_CR37","doi-asserted-by":"crossref","unstructured":"P\u00f6rn, I. (1977). Action theory and social science: Some formal models. In Synthese library (Vol. 120). Dordrecht: D. Reidel.","DOI":"10.1007\/978-94-010-1268-3"},{"key":"9229_CR38","unstructured":"Santos, F., & Carmo, J. (1996). Indirect action, influence and responsibility. In Proceedings of DEON, 1996 (pp. 194\u2013215). New York: Springer-Verlag."},{"key":"9229_CR39","unstructured":"Santos, F., Jones, A., & Carmo, J. (1997). Responsibility for action in organisations: A formal model. In G. Holmstr\u00f6m-Hintikka & R. Tuomela (Eds.), Contemporary action theory (Vol. 1, pp. 333\u2013348). Dordrecht: Kluwer."},{"key":"9229_CR40","unstructured":"Santos, F., & Pacheco, O. (2003). Specifying and reasoning with institutional agents. In Proceedings of ICAIL, 2003 (pp. 162\u2013170). Edinburgh: ACM."},{"issue":"1","key":"9229_CR41","doi-asserted-by":"crossref","first-page":"25","DOI":"10.1177\/0048393107310877","volume":"38","author":"HB Schmid","year":"2008","unstructured":"Schmid, H. B. (2008). Plural action. Philosophy of the Social Sciences, 38(1), 25\u201354.","journal-title":"Philosophy of the Social Sciences"},{"key":"9229_CR42","unstructured":"Sebastiani, R., & Tacchella, A. (2009). SAT techniques for modal and description logics. In A. Biere, M. Heule, H. Van Maaren, & T. Walsh (Eds.), The handbook of satisfiability (Vol. 2, Chap. 25). Amsterdam: IOS Press."},{"key":"9229_CR43","volume-title":"An essay in classical modal logic","author":"K Segerberg","year":"1971","unstructured":"Segerberg, K. (1971). An essay in classical modal logic. Uppsala: Filosofiska Studier, Uppsala Universitet."},{"issue":"1","key":"9229_CR44","doi-asserted-by":"crossref","first-page":"111","DOI":"10.1007\/BF01753437","volume":"1","author":"LS Shapley","year":"1971","unstructured":"Shapley, L. S., & Shubik, M. (1971). The assignment game I: The core. International Journal of Game Theory, 1(1), 111\u2013130.","journal-title":"International Journal of Game Theory"},{"key":"9229_CR45","unstructured":"Sommerhoff, G. (1969). The abstract characteristics of living systems. In F. E. Emery (Ed.), Systems thinking: Selected readings. Harmonsworth: Penguin."},{"key":"9229_CR46","unstructured":"Troquard, N. (2012). Coalitional agency and evidence-based ability. In Proceedings of AAMAS, 2012 (pp. 1245\u20131246). IFAAMAS."},{"key":"9229_CR47","unstructured":"Troquard, N., van der Hoek, W., & Wooldridge, M. (2009). Model checking strategic equilibria. In Proceedings of MoChArt 2008, lecture notes in computer science (Vol. 5348, pp. 166\u2013188). Berlin, Heidelberg: Springer."},{"key":"9229_CR48","volume-title":"The importance of us","author":"R Tuomela","year":"1995","unstructured":"Tuomela, R. (1995). The importance of us. Stanford: Stanford University Press."},{"key":"9229_CR49","volume-title":"A theory of social interaction","author":"JH Turner","year":"1988","unstructured":"Turner, J. H. (1988). A theory of social interaction. Stanford, CA: Stanford University Press."},{"key":"9229_CR50","unstructured":"Vardi, M. (1989). On the complexity of epistemic reasoning. In Proceedings of LICS, 1989 (pp. 243\u2013252). Washington, DC: IEEE Computer Society."},{"key":"9229_CR51","doi-asserted-by":"crossref","unstructured":"von Kutschera, F. (1986). Bewirken. Erkenntnis: An International Journal of Analytic Philosophy, 24(3), 253\u2013281.","DOI":"10.1007\/BF00205016"},{"key":"9229_CR52","unstructured":"Wobcke, W. (1997). Agency and the logic of ability. In Agents and multi-agent systems formalisms, methodologies, and applications (pp. 31\u201345)."}],"container-title":["Autonomous Agents and Multi-Agent Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10458-013-9229-x.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10458-013-9229-x\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10458-013-9229-x","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,5,11]],"date-time":"2024-05-11T15:57:40Z","timestamp":1715443060000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10458-013-9229-x"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,6,4]]},"references-count":52,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2014,5]]}},"alternative-id":["9229"],"URL":"https:\/\/doi.org\/10.1007\/s10458-013-9229-x","relation":{},"ISSN":["1387-2532","1573-7454"],"issn-type":[{"value":"1387-2532","type":"print"},{"value":"1573-7454","type":"electronic"}],"subject":[],"published":{"date-parts":[[2013,6,4]]}}}