{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,5]],"date-time":"2022-04-05T12:24:04Z","timestamp":1649161444034},"reference-count":15,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2008,7,1]],"date-time":"2008-07-01T00:00:00Z","timestamp":1214870400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Synthese"],"published-print":{"date-parts":[[2008,11]]},"DOI":"10.1007\/s11229-008-9363-1","type":"journal-article","created":{"date-parts":[[2008,6,30]],"date-time":"2008-06-30T09:42:52Z","timestamp":1214818972000},"page":"269-294","source":"Crossref","is-referenced-by-count":12,"title":["Quantified coalition logic"],"prefix":"10.1007","volume":"165","author":[{"given":"Thomas","family":"\u00c5gotnes","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Wiebe","family":"van der Hoek","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Michael","family":"Wooldridge","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2008,7,1]]},"reference":[{"issue":"2","key":"9363_CR1","doi-asserted-by":"crossref","first-page":"377","DOI":"10.1007\/s11229-005-3875-8","volume":"149","author":"T. \u00c5gotnes","year":"2006","unstructured":"\u00c5gotnes T. (2006) Action and knowledge in alternating-time temporal logic. Synthese 149(2): 377\u2013409","journal-title":"Synthese"},{"key":"9363_CR2","doi-asserted-by":"crossref","unstructured":"\u00c5gotnes, T., van der Hoek, W., & Wooldridge, M. (2006). On the logic of coalitional games. In Proceedings of the Fifth International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS-2006), Hakodate, Japan.","DOI":"10.1145\/1160633.1160659"},{"key":"9363_CR3","doi-asserted-by":"crossref","unstructured":"\u00c5gotnes, T., & Walicki, M. (2006). Complete axiomatizations of finite syntactic epistemic states. In M. Baldoni, U. Endriss, A. Omicini, & P. Torroni (Eds.), Declarative Agent Languages and Technologies III: Third International Workshop, DALT 2005, Utrecht, The Netherlands, July 25, 2005. Selected and revised papers of lecture notes in computer science (LNCS) (Vol. 3904, pp. 33\u201350). Heidelberg: Springer.","DOI":"10.1007\/11691792_3"},{"issue":"11","key":"9363_CR4","doi-asserted-by":"crossref","first-page":"7","DOI":"10.1023\/A:1008739929481","volume":"15","author":"R. Alur","year":"1999","unstructured":"Alur R., Henzinger T.A. (1999) Reactive modules. Formal Methods in System Design 15(11): 7\u201348","journal-title":"Formal Methods in System Design"},{"issue":"5","key":"9363_CR5","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(5): 672\u2013713","journal-title":"Journal of the ACM"},{"key":"9363_CR6","volume-title":"Model checking","author":"E.M. Clarke","year":"2000","unstructured":"Clarke E.M., Grumberg O., Peled D.A. (2000) Model checking. The MIT Press, Cambridge, MA"},{"issue":"4","key":"9363_CR7","doi-asserted-by":"crossref","first-page":"477","DOI":"10.3166\/jancl.17.477-509","volume":"17","author":"P.E. Dunne","year":"2007","unstructured":"Dunne P.E., van der Hoek W., Wooldridge M. (2007) A logical characterisation of qualitative coalitional games. Journal of Applied Non-Classical Logics 17(4): 477\u2013509","journal-title":"Journal of Applied Non-Classical Logics"},{"key":"9363_CR8","unstructured":"Gallier, J. (1987). Logic for computer science: Foundations of automatic theorem proving. Wiley."},{"key":"9363_CR9","doi-asserted-by":"crossref","unstructured":"Gargov, G., & Passy, S. (1987). A note on Boolean modal logic. In Mathematical logic and applications (pp. 253\u2013263). Plenum Press.","DOI":"10.1007\/978-1-4613-0897-3_17"},{"key":"9363_CR10","doi-asserted-by":"crossref","unstructured":"Lutz, C. (2006). Complexity and succinctness of public announcement logic. In Proceedings of the Fifth International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS-2006), Hakodate, Japan.","DOI":"10.1145\/1160633.1160657"},{"key":"9363_CR11","volume-title":"Computational complexity","author":"C.H. Papadimitriou","year":"1994","unstructured":"Papadimitriou C.H. (1994) Computational complexity. Addison-Wesley, Reading, MA"},{"key":"9363_CR12","unstructured":"Pauly, M. (2001). Logic for social software. Ph.D. thesis, University of Amsterdam. ILLC Dissertation Series 2001-10."},{"key":"9363_CR13","doi-asserted-by":"crossref","unstructured":"van der Hoek, W., Jamroga, W., & Wooldridge, M. (2005a). A logic for strategic reasoning. In Proceedings of the Fourth International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS-2005) (pp. 157\u2013153). The Netherlands: Utrecht.","DOI":"10.1145\/1082473.1082497"},{"key":"9363_CR14","doi-asserted-by":"crossref","unstructured":"van der Hoek, W., & Lomuscio, A., & Wooldridge, M. (2005b). On the complexity of practical ATL model checking. In Proceedings of the Fifth International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS-2006), Hakodate, Japan.","DOI":"10.1145\/1160633.1160665"},{"issue":"1","key":"9363_CR15","doi-asserted-by":"crossref","first-page":"27","DOI":"10.1016\/j.artint.2004.04.002","volume":"158","author":"M. Wooldridge","year":"2004","unstructured":"Wooldridge M., Dunne P.E. (2004) On the computational complexity of qualitative coalitional games. Artificial Intelligence 158(1): 27\u201373","journal-title":"Artificial Intelligence"}],"container-title":["Synthese"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11229-008-9363-1.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11229-008-9363-1\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11229-008-9363-1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,1]],"date-time":"2019-06-01T10:32:28Z","timestamp":1559385148000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11229-008-9363-1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,7,1]]},"references-count":15,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2008,11]]}},"alternative-id":["9363"],"URL":"https:\/\/doi.org\/10.1007\/s11229-008-9363-1","relation":{},"ISSN":["0039-7857","1573-0964"],"issn-type":[{"value":"0039-7857","type":"print"},{"value":"1573-0964","type":"electronic"}],"subject":[],"published":{"date-parts":[[2008,7,1]]}}}