{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,10,5]],"date-time":"2026-10-05T19:08:57Z","timestamp":1791227337685,"version":"4.1.0"},"reference-count":21,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2006,3,1]],"date-time":"2006-03-01T00:00:00Z","timestamp":1141171200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2006,3,1]],"date-time":"2006-03-01T00:00:00Z","timestamp":1141171200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Synthese"],"published-print":{"date-parts":[[2006,3]]},"DOI":"10.1007\/s11229-005-3875-8","type":"journal-article","created":{"date-parts":[[2006,4,25]],"date-time":"2006-04-25T18:01:54Z","timestamp":1145988114000},"page":"375-407","source":"Crossref","is-referenced-by-count":35,"title":["Action and Knowledge in Alternating-Time Temporal Logic"],"prefix":"10.1007","volume":"149","author":[{"given":"Thomas","family":"\u00c5gotnes","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"key":"3875_CR1","unstructured":"\u00c5gotnes, T.: 2004, \u2018A Note on Syntactic Characterization of Incomplete Information in ATEL\u2019, in Proceedings of the First Workshop on Knowledge and Games (KAG 2004), Liverpool, UK."},{"key":"3875_CR2","doi-asserted-by":"crossref","unstructured":"Alur, R., T.A. Henzinger, and O. Kupferman: 1997, \u2018Alternating-time Temporal Logic\u2019, in Proceedings of the 38th Annual Symposium on Foundations of Computer Science, Miami Beach, FL, pp. 100\u2013109.","DOI":"10.1109\/SFCS.1997.646098"},{"key":"3875_CR3","doi-asserted-by":"crossref","unstructured":"Alur, R., T.A. Henzinger, and O. Kupferman: 1999, \u2018Alternating-time Temporal Logic\u2019, in Compositionality: The Significant Difference, Lecture Notes in Computer Science, 1536, Springer-Verlag, Berlin, pp. 23\u201360.","DOI":"10.1007\/3-540-49213-5_2"},{"key":"3875_CR4","doi-asserted-by":"publisher","first-page":"672","DOI":"10.1145\/585265.585270","volume":"49","author":"R. Alur","year":"2002","journal-title":"Journal of the ACM"},{"key":"3875_CR5","doi-asserted-by":"crossref","unstructured":"Alur, R., T.A. Henzinger, F. Y. C. Mang, S. Qadeer, S. K. Rajamani, and S. Tasiran: 1998, \u2018MOCHA: Modularity in Model Checking\u2019, in Computer Aided Verification, pp. 521\u2013525.","DOI":"10.1007\/BFb0028774"},{"key":"3875_CR6","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/5803.001.0001","volume-title":"Reasoning About Knowledge","author":"R. Fagin","year":"1995"},{"key":"3875_CR7","unstructured":"Goranko, V. and G. van Drimmelen: 2003, \u2018Decidability and Complete Axiomatization of the Alternating-time Temporal Logic\u2019, Submitted."},{"issue":"4","key":"3875_CR8","doi-asserted-by":"publisher","first-page":"159","DOI":"10.1007\/BF01784885","volume":"3","author":"J.Y. Halpern","year":"1989","journal-title":"Distributed Computing"},{"key":"3875_CR9","doi-asserted-by":"crossref","first-page":"497","DOI":"10.1007\/978-94-009-6259-0_10","volume-title":"Handbook of Philosophical Logic, Volume II: Extensions of Classical Logic","author":"D. Harel","year":"1984"},{"key":"3875_CR10","doi-asserted-by":"publisher","first-page":"187","DOI":"10.1016\/S0168-0072(98)00039-6","volume":"96","author":"J.G. Henriksen","year":"1999","journal-title":"Annals of Pure and Applied Logic"},{"key":"3875_CR11","doi-asserted-by":"crossref","DOI":"10.4324\/9780203290644","volume-title":"A New Introduction to Modal Logic","author":"G.E. Hughes","year":"1996"},{"key":"3875_CR12","unstructured":"Jamroga, W.: 2003, \u2018Some Remarks on Alternating Temporal Epistemic Logic\u2019, in FAMAS03 \u2013 Formal Approaches to Multi-Agent Systems, Proceedings, Warsaw, Poland, pp. 133\u2013140."},{"key":"3875_CR13","first-page":"185","volume":"63","author":"W. Jamroga","year":"2004","journal-title":"Fundamenta Informaticae"},{"key":"3875_CR14","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4615-3190-6","volume-title":"Symbolic Model Checking","author":"K. McMillan","year":"1993"},{"key":"3875_CR15","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511569852","volume-title":"Epistemic Logic for AI and Computer Science","author":"J.-J.C. Meyer","year":"1995"},{"key":"3875_CR16","unstructured":"Moore, R.C.: 1984, \u2018A Formal Theory of Knowledge and Action\u2019, in Formal Theories of the Commonsense World, Ablex Publishing Corp, Norwood, NJ."},{"key":"3875_CR17","doi-asserted-by":"crossref","unstructured":"Morgenstern, L.: 1986, \u2018A First Order Theory of Planning, Knowledge, and Action\u2019, in J. Y. Halpern (ed.) Theoretical Aspects of Reasoning about Knowledge: Proceedings of the First Conference, Los Altos, CA, pp. 99\u2013114, Morgan Kaufmann Publishers, Inc.","DOI":"10.1016\/B978-0-934613-04-0.50010-7"},{"key":"3875_CR18","unstructured":"Morgenstern, L.: 1987, \u2018Knowledge Preconditions for Actions and Plans\u2019, in Proceedings of the National Conference on Artificial Intelligence. Seattle, WA, pp. 867\u2013874. (Also published in Readings in Distributed Artificial Intelligence, Alan H. Bond and Les Gasser (eds.), pp. 151\u2013158, Morgan Kaufmann, 1988)."},{"key":"3875_CR19","unstructured":"van der Hoek, W., M. Roberts, and M.Wooldridge: 2004, \u2018Social Laws in Alternating Time: Effectiveness, Feasibility, and Synthesis\u2019, Technical Report ULCS-04-017, Computer Science Department, University of Liverpool."},{"key":"3875_CR20","doi-asserted-by":"crossref","unstructured":"van der Hoek, W. and M. Wooldridge: 2002, \u2018Tractable Multiagent Planning for Epistemic Goals\u2019, in Proceedings of the First International Conference on Autonomous Agents and Multiagent Systems (AAAMAS-02), Bologna, Italy.","DOI":"10.1145\/545056.545095"},{"key":"3875_CR21","doi-asserted-by":"crossref","first-page":"125","DOI":"10.1023\/A:1026185103185","volume":"75","author":"W. van der Hoek","year":"2003","journal-title":"Studia Logica"}],"container-title":["Synthese"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11229-005-3875-8.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s11229-005-3875-8\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11229-005-3875-8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11229-005-3875-8.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,8]],"date-time":"2025-01-08T17:19:19Z","timestamp":1736356759000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s11229-005-3875-8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006,3]]},"references-count":21,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2006,3]]}},"alternative-id":["3875"],"URL":"https:\/\/doi.org\/10.1007\/s11229-005-3875-8","relation":{},"ISSN":["0039-7857","1573-0964"],"issn-type":[{"value":"0039-7857","type":"print"},{"value":"1573-0964","type":"electronic"}],"subject":[],"published":{"date-parts":[[2006,3]]}}}