{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,14]],"date-time":"2025-05-14T04:30:31Z","timestamp":1747197031778,"version":"3.40.5"},"reference-count":41,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2014,12,16]],"date-time":"2014-12-16T00:00:00Z","timestamp":1418688000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Front. Comput. Sci."],"published-print":{"date-parts":[[2015,2]]},"DOI":"10.1007\/s11704-014-4097-3","type":"journal-article","created":{"date-parts":[[2014,12,16]],"date-time":"2014-12-16T01:48:34Z","timestamp":1418694514000},"page":"75-86","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["A complete coalition logic of temporal knowledge for multi-agent systems"],"prefix":"10.1007","volume":"9","author":[{"given":"Qingliang","family":"Chen","sequence":"first","affiliation":[]},{"given":"Kaile","family":"Su","sequence":"additional","affiliation":[]},{"given":"Yong","family":"Hu","sequence":"additional","affiliation":[]},{"given":"Guiwu","family":"Hu","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2014,12,16]]},"reference":[{"key":"4097_CR1","doi-asserted-by":"crossref","first-page":"887","DOI":"10.1016\/S1574-6526(07)03024-6","volume-title":"Multi-agent systems. Handbook of Knowledge Representation","author":"W Hoek van der","year":"2008","unstructured":"Hoek van der W, Wooldridge M. Multi-agent systems. Handbook of Knowledge Representation. Elsevier Press, 2008, 887\u2013928"},{"key":"4097_CR2","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511811654","volume-title":"Multi-agent Systems: Algorithmic, Game-Theoretic, and Logical Foundations","author":"Y Shoham","year":"2008","unstructured":"Shoham Y, Leyton-Brown K. Multi-agent Systems: Algorithmic, Game-Theoretic, and Logical Foundations. Cambridge University Press, 2008"},{"key":"4097_CR3","volume-title":"An Introduction to Multiagent Systems","author":"M Wooldridge","year":"2009","unstructured":"Wooldridge M. An Introduction to Multiagent Systems. 2nd ed. John Wiley & Sons Press, 2009","edition":"2nd ed."},{"key":"4097_CR4","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/5804.001.0001","volume-title":"Reasoning about Rational Agents","author":"M Wooldridge","year":"2000","unstructured":"Wooldridge M. Reasoning about Rational Agents. MIT Press, 2000"},{"key":"4097_CR5","first-page":"671","volume-title":"Multi-Agent Systems","author":"W Hoek van der","year":"2013","unstructured":"Hoek van der W, Wooldridge M. Logics for multi-agent systems. In: Weiss G, ed. Multi-Agent Systems 2nd ed. MIT Press, 2013, 671\u2013810","edition":"2nd ed."},{"key":"4097_CR6","volume-title":"Reasoning About Knowledge","author":"J Y Halpern","year":"1995","unstructured":"Halpern J Y, Fagin R, Moses Y, Vardi M Y. Reasoning About Knowledge. MIT Press, 1995"},{"key":"4097_CR7","volume-title":"Epistemic Logic for AI and Computer Science (Cambridge Tracts in Theoretical Computer Science)","author":"J J C Meyer","year":"2004","unstructured":"Meyer J J C, Hoek van der W. Epistemic Logic for AI and Computer Science (Cambridge Tracts in Theoretical Computer Science). Cambridge University Press, 2004"},{"key":"4097_CR8","volume-title":"A Course in Game Theory","author":"MJ Osborne","year":"1994","unstructured":"Osborne MJ, Rubinstein A. A Course in Game Theory. The MIT Press, 1994"},{"issue":"1","key":"4097_CR9","doi-asserted-by":"crossref","first-page":"149","DOI":"10.1093\/logcom\/12.1.149","volume":"12","author":"M Pauly","year":"2002","unstructured":"Pauly M. A modal logic for coalitional power in games. Journal of Logic and Computation, 2002, 12(1): 149\u2013166","journal-title":"Journal of Logic and Computation"},{"issue":"5","key":"4097_CR10","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. Alternating-time temporal logic. Journal of the ACM, 2002, 49(5): 672\u2013713","journal-title":"Journal of the ACM"},{"key":"4097_CR11","doi-asserted-by":"crossref","first-page":"47","DOI":"10.1007\/978-3-540-93920-7_4","volume":"5397","author":"J Broersen","year":"2009","unstructured":"Broersen J. A complete STIT logic for knowledge and action, and some of its applications. Lecture Notes in Computer Science, 2009, 5397: 47\u201359","journal-title":"Lecture Notes in Computer Science"},{"issue":"1","key":"4097_CR12","doi-asserted-by":"crossref","first-page":"125","DOI":"10.1023\/A:1026185103185","volume":"75","author":"W Hoek van der","year":"2003","unstructured":"Hoek van der W, Wooldridge M. Cooperation, knowledge, and time: alternating-time temporal epistemic logic and its applications. Studia Logica, 2003, 75(1): 125\u2013157","journal-title":"Studia Logica"},{"key":"4097_CR13","first-page":"1099","volume-title":"Proceedings of the 11th International Conference on Autonomous Agents and Multiagent Systems","author":"T \u00c5gotnes","year":"2012","unstructured":"\u00c5gotnes T, Alechina N. Epistemic coalition logic: completeness and complexity. In: Proceedings of the 11th International Conference on Autonomous Agents and Multiagent Systems. 2012, 1099\u20131106"},{"issue":"2","key":"4097_CR14","doi-asserted-by":"crossref","first-page":"269","DOI":"10.1007\/s11229-008-9363-1","volume":"165","author":"T \u00c5gotnes","year":"2008","unstructured":"\u00c5gotnes T, Hoek van der W, Wooldridge M. Quantified coalition logic. Synthese, 2008, 165(2): 269\u2013294","journal-title":"Synthese"},{"key":"4097_CR15","first-page":"555","volume-title":"Proceedings of the 19th European Conference on Artificial Intelligence","author":"G Boella","year":"2010","unstructured":"Boella G, Gabbay D M, Genovese V, Torre van der L. Higher-order coalition logic. In: Proceedings of the 19th European Conference on Artificial Intelligence. 2010, 555\u2013560"},{"issue":"1","key":"4097_CR16","doi-asserted-by":"crossref","first-page":"45","DOI":"10.1016\/j.artint.2008.08.004","volume":"173","author":"T \u00c5gotnes","year":"2009","unstructured":"\u00c5gotnes T, Hoek van der W, Wooldridge M. Reasoning about coalitional games. Artificial Intelligence, 2009, 173(1): 45\u201379","journal-title":"Artificial Intelligence"},{"key":"4097_CR17","first-page":"473","volume-title":"Proceedings of the 9th International Conference on Autonomous Agents and Multiagent Systems","author":"N Troquard","year":"2010","unstructured":"Troquard N, Walther D. Alternating-time dynamic logic. In: Proceedings of the 9th International Conference on Autonomous Agents and Multiagent Systems. 2010, 473\u2013480"},{"key":"4097_CR18","doi-asserted-by":"crossref","first-page":"269","DOI":"10.1145\/1324249.1324285","volume-title":"Proceedings of the 11th Conference on Theoretical Aspects of Rationality and Knowledge","author":"D Walther","year":"2007","unstructured":"Walther D, Hoek van der W, Wooldridge M. Alternating-time temporal logic with explicit strategies. In: Proceedings of the 11th Conference on Theoretical Aspects of Rationality and Knowledge. 2007, 269\u2013278"},{"key":"4097_CR19","first-page":"425","volume-title":"Proceedings of the 8th International Joint Conference on Autonomous Agents and Multiagent Systems","author":"I Seylan","year":"2009","unstructured":"Seylan I, Jamroga W. Description logic for coalitions. In: Proceedings of the 8th International Joint Conference on Autonomous Agents and Multiagent Systems. 2009, 425\u2013432"},{"key":"4097_CR20","first-page":"681","volume-title":"Proceedings of the 7th International Joint Conference on Autonomous Agents and Multiagent Systems","author":"N Bulling","year":"2008","unstructured":"Bulling N, Dix J, Ches\u00f1evar C I. Modelling coalitions: ATL + argumentation. In: Proceedings of the 7th International Joint Conference on Autonomous Agents and Multiagent Systems. 2008, 681\u2013688"},{"key":"4097_CR21","first-page":"304","volume-title":"Proceedings of the 18th Annual ACM Symposium on Theory of Computing","author":"J Y Halpern","year":"1986","unstructured":"Halpern J Y, Vardi M Y. The complexity of reasoning about knowledge and time: extended abstract. In: Proceedings of the 18th Annual ACM Symposium on Theory of Computing. 1986, 304\u2013315"},{"issue":"1\u20133","key":"4097_CR22","doi-asserted-by":"crossref","first-page":"93","DOI":"10.1016\/j.tcs.2005.07.043","volume":"353","author":"V Goranko","year":"2006","unstructured":"Goranko V, Drimmelen van G. Complete axiomatization and decidability of alternating-time temporal logic. Theoretical Computer Science, 2006, 353(1\u20133): 93\u2013117","journal-title":"Theoretical Computer Science"},{"key":"4097_CR23","doi-asserted-by":"crossref","first-page":"92","DOI":"10.1145\/1324249.1324264","volume-title":"Proceedings of the 11th Conference on Theoretical Aspects of Rationality and Knowledge","author":"J Broersen","year":"2007","unstructured":"Broersen J, Herzig A, Troquard N. A normal simulation of coalition logic and an epistemic extension. In: Proceedings of the 11th Conference on Theoretical Aspects of Rationality and Knowledge. 2007, 92\u2013101"},{"issue":"3","key":"4097_CR24","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. What groups do, can do, and know they can do: an analysis in normal modal logics. Journal of Applied Non-Classical Logics, 2009, 19(3): 261\u2013290","journal-title":"Journal of Applied Non-Classical Logics"},{"key":"4097_CR25","doi-asserted-by":"crossref","DOI":"10.3998\/mpub.20269","volume-title":"Prisoner\u2019s Dilemma","author":"A Rapoport","year":"1965","unstructured":"Rapoport A, Chammah A M. Prisoner\u2019s Dilemma. University of Michigan Press, 1965"},{"issue":"2","key":"4097_CR26","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. Strategic games and truly playable effectivity functions. Autonomous Agents and Multi-Agent Systems, 2013, 26(2): 288\u2013314","journal-title":"Autonomous Agents and Multi-Agent Systems"},{"key":"4097_CR27","volume-title":"Logic for Social Software","author":"M Pauly","year":"2001","unstructured":"Pauly M. Logic for Social Software. Dissertation for the Doctoral Degree. University of Amsterdam, 2001"},{"key":"4097_CR28","series-title":"Graduate Texts in Mathematics","volume-title":"Model Theory: An Introduction","author":"D Marker","year":"2002","unstructured":"Marker D. Model Theory: An Introduction (Graduate Texts in Mathematics, Vol. 217). Springer Press, 2002"},{"key":"4097_CR29","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4020-5839-4","volume-title":"Dynamic Epistemic Logic","author":"H Ditmarsch van","year":"2007","unstructured":"Ditmarsch van H, Hoek van der W, Kooi B. Dynamic Epistemic Logic. Springer Press, 2007"},{"key":"4097_CR30","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/3-540-45319-9_1","volume-title":"Proceedings of the 7th International Conference on Tools and Algorithms for the Construction and Analysis of Systems","author":"M Y Vardi","year":"2001","unstructured":"Vardi M Y. Branching vs. linear time: Final showdown. In: Proceedings of the 7th International Conference on Tools and Algorithms for the Construction and Analysis of Systems. 2001, 1\u201322"},{"key":"4097_CR31","volume-title":"Temporal and modal logic. Handbook of Theoretical Computer Science (Volume B): Formal Models and Semantics","author":"E A Emerson","year":"1990","unstructured":"Emerson E A. Temporal and modal logic. Handbook of Theoretical Computer Science (Volume B): Formal Models and Semantics. North-Holland Pub. Co.\/MIT Press, 1990"},{"issue":"1","key":"4097_CR32","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/s11225-009-9184-3","volume":"92","author":"T \u00c5gotnes","year":"2009","unstructured":"\u00c5gotnes T, Hoek van der W, Rodr\u00edguez-Aguilar J A, Sierra C, Wooldridge M. Multi-modal CTL: completeness, complexity, and an application. Studia Logica, 2009, 92(1): 1\u201326","journal-title":"Studia Logica"},{"issue":"2\u20134","key":"4097_CR33","doi-asserted-by":"crossref","first-page":"175","DOI":"10.3233\/FI-2011-382","volume":"106","author":"F Belardinelli","year":"2011","unstructured":"Belardinelli F, Lomuscio A. First-order linear-time epistemic logic with group knowledge: an axiomatisation of the monodic fragment. Fundamenta Informaticae, 2011, 106(2\u20134): 175\u2013190","journal-title":"Fundamenta Informaticae"},{"key":"4097_CR34","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1613\/jair.3547","volume":"45","author":"F Belardinelli","year":"2012","unstructured":"Belardinelli F, Lomuscio A. Interactions between knowledge and time in a first-order logic for multi-agent systems: completeness results. Journal of Artificial Intelligence Research, 2012, 45: 1\u201345","journal-title":"Journal of Artificial Intelligence Research"},{"issue":"3\u20134","key":"4097_CR35","doi-asserted-by":"crossref","first-page":"814","DOI":"10.1016\/j.artint.2010.11.022","volume":"175","author":"E Lorini","year":"2011","unstructured":"Lorini E, Schwarzentruber F. A logic for reasoning about counterfactual emotions. Artificial Intelligence, 2011, 175(3\u20134): 814\u2013847","journal-title":"Artificial Intelligence"},{"key":"4097_CR36","doi-asserted-by":"crossref","first-page":"149","DOI":"10.1145\/1082473.1082496","volume-title":"Proceedings of the 4th International Joint Conference on Autonomous Agents and Multiagent Systems","author":"K Su","year":"2005","unstructured":"Su K, Sattar A, Governatori G, Chen Q. A computationally grounded logic of knowledge, belief and certainty. In: Proceedings of the 4th International Joint Conference on Autonomous Agents and Multiagent Systems. 2005, 149\u2013156"},{"key":"4097_CR37","doi-asserted-by":"crossref","first-page":"343","DOI":"10.1016\/j.knosys.2011.11.006","volume":"27","author":"L Wu","year":"2012","unstructured":"Wu L, Su K, Sattar A, Chen Q, Su J, Wu W. A complete first-order temporal BDI logic for forest multi-agent systems. Knowledge-Based System, 2012, 27: 343\u2013351","journal-title":"Knowledge-Based System"},{"key":"4097_CR38","first-page":"145","volume-title":"Proceedings of the 8th International Joint Conference on Autonomous Agents and Multiagent Systems","author":"T \u00c5gotnes","year":"2009","unstructured":"\u00c5gotnes T, Hoek van der W, Tennenholtz M, Wooldridge M. Power in normative systems. In: Proceedings of the 8th International Joint Conference on Autonomous Agents and Multiagent Systems. 2009, 145\u2013152"},{"issue":"4","key":"4097_CR39","doi-asserted-by":"crossref","first-page":"423","DOI":"10.3166\/jancl.17.423-475","volume":"17","author":"W Jamroga","year":"2007","unstructured":"Jamroga W, \u00c5gotnes T. Constructive knowledge: what agents can achieve under imperfect information. Journal of Applied Non-Classical Logics, 2007, 17(4): 423\u2013475","journal-title":"Journal of Applied Non-Classical Logics"},{"issue":"3","key":"4097_CR40","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. Comparing variants of strategic ability: how uncertainty and memory influence general properties of games. Autonomous Agents and Multi-Agent Systems, 2014, 28(3): 474\u2013518","journal-title":"Autonomous Agents and Multi-Agent Systems"},{"key":"4097_CR41","doi-asserted-by":"crossref","first-page":"2","DOI":"10.1016\/j.tcs.2012.10.033","volume":"493","author":"E Gr\u00e4del","year":"2013","unstructured":"Gr\u00e4del E. Model-checking games for logics of imperfect information. Theoretical Computer Science, 2013, 493: 2\u201314","journal-title":"Theoretical Computer Science"}],"container-title":["Frontiers of Computer Science"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11704-014-4097-3.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11704-014-4097-3\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11704-014-4097-3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,14]],"date-time":"2025-05-14T02:39:30Z","timestamp":1747190370000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11704-014-4097-3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,12,16]]},"references-count":41,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2015,2]]}},"alternative-id":["4097"],"URL":"https:\/\/doi.org\/10.1007\/s11704-014-4097-3","relation":{},"ISSN":["2095-2228","2095-2236"],"issn-type":[{"type":"print","value":"2095-2228"},{"type":"electronic","value":"2095-2236"}],"subject":[],"published":{"date-parts":[[2014,12,16]]}}}