{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,27]],"date-time":"2025-01-27T05:24:38Z","timestamp":1737955478411,"version":"3.33.0"},"reference-count":42,"publisher":"Informa UK Limited","issue":"4","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Journal of Applied Non-Classical Logics"],"published-print":{"date-parts":[[2007,1]]},"DOI":"10.3166\/jancl.17.477-509","type":"journal-article","created":{"date-parts":[[2008,1,28]],"date-time":"2008-01-28T10:47:11Z","timestamp":1201517231000},"page":"477-509","source":"Crossref","is-referenced-by-count":2,"title":["A logical characterisation of qualitative coalitional games"],"prefix":"10.1080","volume":"17","author":[{"given":"Paul E.","family":"Dunne","sequence":"first","affiliation":[{"name":"a Department of Computer Science , University of Liverpool , Liverpool , L69 7ZF , UK"}]},{"given":"Wiebe","family":"van der Hoek","sequence":"additional","affiliation":[{"name":"a Department of Computer Science , University of Liverpool , Liverpool , L69 7ZF , UK"}]},{"given":"Michael","family":"Wooldridge","sequence":"additional","affiliation":[{"name":"a Department of Computer Science , University of Liverpool , Liverpool , L69 7ZF , UK"}]}],"member":"301","published-online":{"date-parts":[[2012,4,13]]},"reference":[{"volume-title":"Proceedings of the Fifth International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS-2006)","year":"2006","author":"Agotnes T.","key":"CIT0001"},{"volume-title":"Proceedings of the Fifth International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS-2006)","year":"2006","author":"Agotnes T.","key":"CIT0002"},{"volume-title":"Proceedings of the Twentieth International Joint Conference on Artificial Intelligence (IJCAI-07)","year":"2007","author":"Agotnes T.","key":"CIT0003"},{"volume-title":"MOCHA User Manual","year":"2000","author":"Alur R.","key":"CIT0004"},{"issue":"11","key":"CIT0005","doi-asserted-by":"crossref","first-page":"7","DOI":"10.1023\/A:1008739929481","volume":"15","author":"Alur R.","year":"1999","journal-title":"Formal Methods in System Design"},{"key":"CIT0006","doi-asserted-by":"publisher","DOI":"10.1145\/585265.585270"},{"first-page":"521","volume-title":"CAV 1998: Tenth International Conference on Computeraided Verification, (LNCS Volume 1427)","author":"Alur R.","key":"CIT0007"},{"key":"CIT0008","doi-asserted-by":"publisher","DOI":"10.1111\/1467-8586.00138"},{"key":"CIT0009","doi-asserted-by":"crossref","first-page":"167","DOI":"10.1007\/978-94-009-6259-0_4","volume-title":"Handbook of Philosophical Logic, Volume II: Extensions of Classical Logic","author":"Benthem J.","year":"1984"},{"issue":"4","key":"CIT0010","doi-asserted-by":"crossref","first-page":"219","DOI":"10.1111\/1467-8586.00133","volume":"53","author":"Benthem J.","year":"2001","journal-title":"Bulletin of Economic Research"},{"issue":"3","key":"CIT0011","doi-asserted-by":"crossref","first-page":"289","DOI":"10.1023\/A:1015534111901","volume":"11","author":"Benthem J.","year":"2002","journal-title":"Journal of Logic, Language, and Information"},{"key":"CIT0012","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9781107050884"},{"key":"CIT0013","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511621192"},{"volume-title":"Model Checking","year":"2000","author":"Clarke E. M.","key":"CIT0014"},{"key":"CIT0015","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(90)90055-5"},{"volume-title":"Explaining Games \u2013 on the logic of game theoretic explanations","year":"2004","author":"de Bruin B.","key":"CIT0016"},{"first-page":"208","volume-title":"Eighteenth Annual IEEE Symposium on Logic in Computer Science (LICS 2003)","author":"Drimmelen G.","key":"CIT0017"},{"key":"CIT0018","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/5803.001.0001","volume-title":"Reasoning About Knowledge","author":"Fagin R.","year":"1995"},{"first-page":"259","volume-title":"Proceeding of the Eighth Conference on Theoretical Aspects of Rationality and Knowledge (TARK VIII)","author":"Goranko V.","key":"CIT0019"},{"key":"CIT0020","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(92)90049-4"},{"first-page":"28","volume-title":"Proceedings of the Fifteenth European Conference on Artificial Intelligence (ECAI-2002)","author":"Harrenstein P.","key":"CIT0021"},{"first-page":"1167","volume-title":"Proceedings of the First International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS-2002)","author":"Hoek W.","key":"CIT0022"},{"issue":"3","key":"CIT0023","doi-asserted-by":"crossref","first-page":"235","DOI":"10.1016\/S1090-9443(03)00031-0","volume":"57","author":"Hoek W.","year":"2003","journal-title":"Research in Economics"},{"issue":"1","key":"CIT0024","doi-asserted-by":"crossref","first-page":"125","DOI":"10.1023\/A:1026185103185","volume":"75","author":"Hoek W.","year":"2003","journal-title":"Studia Logica"},{"issue":"2","key":"CIT0025","doi-asserted-by":"crossref","first-page":"135","DOI":"10.1093\/jigpal\/11.2.135","volume":"11","author":"Hoek W.","year":"2003","journal-title":"Logic Journal of the IGPL"},{"key":"CIT0026","first-page":"67","volume-title":"Handbook of Theoretical Computer Science Volume A: Algorithms and Complexity","author":"Johnson D. S.","year":"1990"},{"key":"CIT0027","doi-asserted-by":"publisher","DOI":"10.1016\/S0004-3702(97)00025-8"},{"first-page":"207","volume-title":"Proceedings of the 1986 Conference on Theoretical Aspects of Reasoning About Knowledge","author":"Ladner R. E.","key":"CIT0028"},{"key":"CIT0029","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/S0004-3702(99)00061-2","volume":"113","author":"Meyer J.","year":"1999","journal-title":"Artificial Intelligence"},{"volume-title":"A Course in Game Theory","year":"1994","author":"Osborne M. J.","key":"CIT0030"},{"volume-title":"Computational Complexity","year":"1994","author":"Papadimitriou C. H.","key":"CIT0031"},{"key":"CIT0032","series-title":"ILLC Dissertation Series 2001-10","volume-title":"Logic for Social Software","author":"Pauly M.","year":"2001"},{"issue":"4","key":"CIT0033","doi-asserted-by":"crossref","first-page":"305","DOI":"10.1111\/1467-8586.00136","volume":"53","author":"Pauly M.","year":"2002","journal-title":"Bulletin of Economic Research"},{"key":"CIT0034","doi-asserted-by":"publisher","DOI":"10.1093\/logcom\/12.1.149"},{"volume-title":"Proceedings of the 2003 Workshop on Game Theory and Decision Theory in Agent Systems (GTDT-2003)","author":"Pauly M.","key":"CIT0035"},{"key":"CIT0036","doi-asserted-by":"publisher","DOI":"10.1093\/logcom\/8.3.293"},{"key":"CIT0037","first-page":"201","volume-title":"Multiagent Systems","author":"Sandholm T.","year":"1999"},{"key":"CIT0038","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(93)90034-9"},{"key":"CIT0039","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/5804.001.0001","volume-title":"Reasoning about Rational Agents","author":"Wooldridge M.","year":"2000"},{"volume-title":"An Introduction to Multiagent Systems","year":"2002","author":"Wooldridge M.","key":"CIT0040"},{"issue":"1","key":"CIT0041","doi-asserted-by":"crossref","first-page":"27","DOI":"10.1016\/j.artint.2004.04.002","volume":"158","author":"Wooldridge M.","year":"2004","journal-title":"Artificial Intelligence"},{"key":"CIT0042","doi-asserted-by":"publisher","DOI":"10.1017\/S0269888900008122"}],"container-title":["Journal of Applied Non-Classical Logics"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.tandfonline.com\/doi\/pdf\/10.3166\/jancl.17.477-509","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,26]],"date-time":"2025-01-26T09:34:27Z","timestamp":1737884067000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.tandfonline.com\/doi\/full\/10.3166\/jancl.17.477-509"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007,1]]},"references-count":42,"journal-issue":{"issue":"4","published-online":{"date-parts":[[2012,4,13]]},"published-print":{"date-parts":[[2007,1]]}},"alternative-id":["10.3166\/jancl.17.477-509"],"URL":"https:\/\/doi.org\/10.3166\/jancl.17.477-509","relation":{},"ISSN":["1166-3081","1958-5780"],"issn-type":[{"type":"print","value":"1166-3081"},{"type":"electronic","value":"1958-5780"}],"subject":[],"published":{"date-parts":[[2007,1]]}}}