{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,10,14]],"date-time":"2026-10-14T22:48:20Z","timestamp":1792018100290,"version":"4.4.0"},"reference-count":31,"publisher":"Oxford University Press (OUP)","issue":"7","license":[{"start":{"date-parts":[[2018,8,15]],"date-time":"2018-08-15T00:00:00Z","timestamp":1534291200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/academic.oup.com\/journals\/pages\/open_access\/funder_policies\/chorus\/standard_publication_model"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2019,12,20]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>Coalition logic is currently one of the most popular logics for multi-agent systems. While logics combining coalitional and epistemic operators have received considerable attention, completeness results for epistemic extensions of coalition logic have so far been missing. In this paper we provide several such results and proofs. We prove completeness for epistemic coalition logic with common knowledge, with distributed knowledge, and with both common and distributed knowledge, respectively. Furthermore, we completely characterise the complexity of the satisfiability problem for each of the three logics. We also study logics with interaction axioms connecting coalitional ability and knowledge.<\/jats:p>","DOI":"10.1093\/logcom\/exv085","type":"journal-article","created":{"date-parts":[[2016,1,10]],"date-time":"2016-01-10T01:48:39Z","timestamp":1452390519000},"page":"1041-1069","source":"Crossref","is-referenced-by-count":25,"title":["Coalition logic with individual, distributed and common knowledge1"],"prefix":"10.1093","volume":"29","author":[{"given":"Thomas","family":"\u00c5gotnes","sequence":"first","affiliation":[{"name":"Department of Information Science and Media Studies, University of Bergen, PB. 7802, 5020 Bergen, Norway"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Natasha","family":"Alechina","sequence":"additional","affiliation":[{"name":"School of Computer Science, University of Nottingham, Nottingham NG8 1BB, UK"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"286","published-online":{"date-parts":[[2018,8,15]]},"reference":[{"key":"2020012209065122300_B1","article-title":"Knowledge and ability","volume-title":"Handbook of Logics for Knowledge and Belief","author":"\u00c5gotnes","year":"2015"},{"key":"2020012209065122300_B2","doi-asserted-by":"crossref","first-page":"407","DOI":"10.1093\/jigpal\/jzs048","article-title":"Tableau-based decision procedure for the multiagent epistemic logic with all coalitional operators for common and distributed knowledge","volume":"21","author":"Ajspur","year":"2013","journal-title":"Logic Journal of the IGPL"},{"key":"2020012209065122300_B3","doi-asserted-by":"crossref","first-page":"907","DOI":"10.1093\/logcom\/exq032","article-title":"Logic for coalitions with bounded resources","volume":"21","author":"Alechina","year":"2011","journal-title":"Journal of Logic and Computation"},{"key":"2020012209065122300_B4","doi-asserted-by":"crossref","first-page":"672","DOI":"10.1145\/585265.585270","article-title":"Alternating-time temporal logic","volume":"49","author":"Alur","year":"2002","journal-title":"Journal of the ACM"},{"key":"2020012209065122300_B5","doi-asserted-by":"crossref","first-page":"175","DOI":"10.1111\/j.1755-2567.1988.tb00717.x","article-title":"Seeing to it that: a canonical form for agentives","volume":"54","author":"Belnap","year":"1988","journal-title":"Theoria"},{"key":"2020012209065122300_B6"},{"key":"2020012209065122300_B7"},{"key":"2020012209065122300_B8","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/5803.001.0001","volume-title":"Reasoning about Knowledge","author":"Fagin","year":"1995"},{"key":"2020012209065122300_B9","doi-asserted-by":"crossref","first-page":"73","DOI":"10.1093\/jigpal\/6.1.73","article-title":"Products of modal logics, part 1","volume":"6","author":"Gabbay","year":"1998","journal-title":"Logic Journal of the IGPL"},{"key":"2020012209065122300_B10"},{"key":"2020012209065122300_B11","doi-asserted-by":"crossref","first-page":"288","DOI":"10.1007\/s10458-012-9192-y","article-title":"Strategic games and truly playable effectivity functions","volume":"26","author":"Goranko","year":"2013","journal-title":"Autonomous Agents and Multi-Agent Systems"},{"key":"2020012209065122300_B12"},{"key":"2020012209065122300_B13","doi-asserted-by":"crossref","first-page":"93","DOI":"10.1016\/j.tcs.2005.07.043","article-title":"Complete axiomatization and decidability of alternating-time temporal logic","volume":"353","author":"Goranko","year":"2006","journal-title":"Theoretical Computer Science"},{"key":"2020012209065122300_B14"},{"key":"2020012209065122300_B15","doi-asserted-by":"crossref","first-page":"93","DOI":"10.3166\/jancl.21.93-131","article-title":"An alternating-time temporal logic with knowledge, perfect recall and past: axiomatisation and model-checking","volume":"21","author":"Guelev","year":"2011","journal-title":"Journal of Applied Non-Classical Logics"},{"key":"2020012209065122300_B16","doi-asserted-by":"crossref","first-page":"319","DOI":"10.1016\/0004-3702(92)90049-4","article-title":"A guide to completeness and complexity for modal logics of knowledge and belief","volume":"54","author":"Halpern","year":"1992","journal-title":"Artificial Intelligence"},{"key":"2020012209065122300_B17","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/2516.001.0001","volume-title":"Dynamic Logic","author":"Harel","year":"2000"},{"key":"2020012209065122300_B18"},{"key":"2020012209065122300_B19","doi-asserted-by":"crossref","first-page":"261","DOI":"10.3166\/jancl.19.261-290","article-title":"What groups do, can do, and know they can do: an analysis in normal modal logics","volume":"19","author":"Broersen","year":"2009","journal-title":"Journal of Applied Non-Classical Logic"},{"key":"2020012209065122300_B20","doi-asserted-by":"crossref","first-page":"423","DOI":"10.3166\/jancl.17.423-475","article-title":"Constructive knowledge: what agents can achieve under imperfect information","volume":"17","author":"Jamroga","year":"2007","journal-title":"Journal of Applied Non-Classical Logics"},{"key":"2020012209065122300_B21","first-page":"185","article-title":"Agents that know how to play","volume":"63","author":"Jamroga","year":"2004","journal-title":"Fundamenta Informaticae"},{"key":"2020012209065122300_B22","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511569852","volume-title":"Epistemic Logic for AI and Computer Science","author":"Meyer","year":"1995"},{"key":"2020012209065122300_B23","doi-asserted-by":"crossref","first-page":"23","DOI":"10.1007\/BF02760024","article-title":"On cliques in graphs","volume":"3","author":"Moon","year":"1965","journal-title":"Israel Journal of Mathematics"},{"key":"2020012209065122300_B24"},{"key":"2020012209065122300_B25","doi-asserted-by":"crossref","first-page":"149","DOI":"10.1093\/logcom\/12.1.149","article-title":"A modal logic for coalitional power in games","volume":"12","author":"Pauly","year":"2002","journal-title":"Journal of Logic and Computation"},{"key":"2020012209065122300_B26","doi-asserted-by":"crossref","DOI":"10.1016\/S1571-0661(05)82604-0","article-title":"Alternating-time logic with imperfect recall","volume":"85","author":"Schobbens","year":"2004","journal-title":"Electronic Notes in Theoretical Computer Science"},{"key":"2020012209065122300_B27","doi-asserted-by":"crossref","first-page":"35","DOI":"10.1007\/978-1-4613-1139-3_2","article-title":"A complete epistemic logic for multiple agents combining distributed and common knowledge","volume-title":"Epistemic Logic and the Theory of Games and Decisions","author":"van der Hoek","year":"1997"},{"key":"2020012209065122300_B28","doi-asserted-by":"crossref","first-page":"125","DOI":"10.1023\/A:1026185103185","article-title":"Cooperation, knowledge and time: alternating-time temporal epistemic logic and its applications","volume":"75","author":"van der Hoek","year":"2003","journal-title":"Studia Logica"},{"key":"2020012209065122300_B29","article-title":"Dynamic Epistemic Logic","volume-title":"Synthese Library","author":"van Ditmarsch","year":"2007"},{"key":"2020012209065122300_B30"},{"key":"2020012209065122300_B31"}],"container-title":["Journal of Logic and Computation"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/academic.oup.com\/logcom\/article-pdf\/29\/7\/1041\/31910771\/exv085.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"syndication"},{"URL":"http:\/\/academic.oup.com\/logcom\/article-pdf\/29\/7\/1041\/31910771\/exv085.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,1]],"date-time":"2025-06-01T02:54:40Z","timestamp":1748746480000},"score":1,"resource":{"primary":{"URL":"https:\/\/academic.oup.com\/logcom\/article\/29\/7\/1041\/2917856"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,8,15]]},"references-count":31,"journal-issue":{"issue":"7","published-online":{"date-parts":[[2018,8,15]]},"published-print":{"date-parts":[[2019,12,20]]}},"URL":"https:\/\/doi.org\/10.1093\/logcom\/exv085","relation":{},"ISSN":["1465-363X","0955-792X"],"issn-type":[{"value":"1465-363X","type":"electronic"},{"value":"0955-792X","type":"print"}],"subject":[],"published-other":{"date-parts":[[2019,11]]},"published":{"date-parts":[[2018,8,15]]}}}