{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,10,3]],"date-time":"2026-10-03T09:48:59Z","timestamp":1791020939817,"version":"4.1.0"},"reference-count":15,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2008,7,23]],"date-time":"2008-07-23T00:00:00Z","timestamp":1216771200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J of Log Lang and Inf"],"published-print":{"date-parts":[[2009,1]]},"DOI":"10.1007\/s10849-008-9075-4","type":"journal-article","created":{"date-parts":[[2008,7,22]],"date-time":"2008-07-22T07:38:56Z","timestamp":1216712336000},"page":"55-77","source":"Crossref","is-referenced-by-count":16,"title":["A Logic of Strategic Ability Under Bounded Memory"],"prefix":"10.1007","volume":"18","author":[{"given":"Thomas","family":"\u00c5gotnes","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Dirk","family":"Walther","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2008,7,23]]},"reference":[{"key":"9075_CR1","unstructured":"\u00c5gotnes, T. (2004). A logic of finite syntactic epistemic states. Ph.D. thesis, Department of Informatics, University of Bergen."},{"key":"9075_CR2","doi-asserted-by":"crossref","first-page":"15","DOI":"10.1145\/1324249.1324256","volume-title":"Proceedings of the 11th Conference on Theoretical Aspects of Rationality and Knowledge (TARK XI)","author":"T. \u00c5gotnes","year":"2007","unstructured":"\u00c5gotnes T., Goranko V., Jamroga W. (2007) Alternating-time temporal logics with irrevocable strategies. In: Samet D.(eds) Proceedings of the 11th Conference on Theoretical Aspects of Rationality and Knowledge (TARK XI). Belgium, Brussels, pp 15\u201324"},{"issue":"5","key":"9075_CR3","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":"9075_CR4","doi-asserted-by":"crossref","first-page":"167","DOI":"10.1007\/978-94-009-0553-5_7","volume-title":"Knowledge representation and defeasible reasoning.","author":"N. Belnap","year":"1990","unstructured":"Belnap N., Perloff M. (1990) Seeing to it that: A canonical form for agentives. In: Kyburg H.E., Loui R.P., Carlson G.N.(eds) Knowledge representation and defeasible reasoning. Kluwer, Boston, pp 167\u2013190"},{"key":"9075_CR5","doi-asserted-by":"crossref","DOI":"10.1093\/oso\/9780195138788.001.0001","volume-title":"Facing the future: Agents and choices in our indeterminist world","author":"N.D. Belnap","year":"2001","unstructured":"Belnap N.D., Perloff M., Xu M. (2001) Facing the future: Agents and choices in our indeterminist world. Oxford University Press, USA"},{"key":"9075_CR6","first-page":"996","volume-title":"Handbook of theoretical computer science Volume B: Formal models and semantics.","author":"E.A. Emerson","year":"1990","unstructured":"Emerson E.A. (1990) Temporal and modal logic. In: van Leeuwen J.(eds) Handbook of theoretical computer science Volume B: Formal models and semantics. Elsevier Science Publishers B.V., Amsterdam, The Netherlands, pp 996\u20131072"},{"issue":"1\u20133","key":"9075_CR7","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., van Drimmelen G. (2006) Complete axiomatization and decidability of alternating-time temporal logic. Theoretical Computer Science 353(1\u20133): 93\u2013117","journal-title":"Theoretical Computer Science"},{"key":"9075_CR8","doi-asserted-by":"crossref","unstructured":"Herzig, A., & Troquard, N. (2006). Knowing how to play: Uniform choices in logics of agency. In G. Weiss & P. Stone (Eds.), AAMAS\u201906: 5th International Joint Conference on Autonomous Agents and Multi Agent Systems (pp. 209\u2013216). Hakodate, Japan, May 8\u201312, 2006.","DOI":"10.1145\/1160633.1160666"},{"issue":"4","key":"9075_CR9","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. (2007) Constructive knowledge: What agents can achieve under imperfect information. Journal of Applied Non-Classical Logics 17(4): 423\u2013475","journal-title":"Journal of Applied Non-Classical Logics"},{"issue":"2\u20133","key":"9075_CR10","first-page":"185","volume":"63","author":"W. Jamroga","year":"2004","unstructured":"Jamroga W., van der Hoek W. (2004) Agents that know how to play. Fundamenta Informaticae 63(2\u20133): 185\u2013219","journal-title":"Fundamenta Informaticae"},{"key":"9075_CR11","unstructured":"Jonker, G. (2003). Feasible strategies in alternating-time temporal epistemic logic. Master\u2019s thesis, University of Utrech, The Netherlands."},{"issue":"1","key":"9075_CR12","doi-asserted-by":"crossref","first-page":"149","DOI":"10.1093\/logcom\/12.1.149","volume":"12","author":"M. Pauly","year":"2002","unstructured":"Pauly M. (2002) A modal logic for coalitional power in games. Journal of Logic and Computation 12(1): 149\u2013166","journal-title":"Journal of Logic and Computation"},{"issue":"2","key":"9075_CR13","doi-asserted-by":"crossref","first-page":"82","DOI":"10.1016\/S1571-0661(05)82604-0","volume":"85","author":"P.-Y. Schobbens","year":"2004","unstructured":"Schobbens P.-Y. (2004) Alternating-time logic with imperfect recall. Electronic Notes in Theoretical Computer Science 85(2): 82\u201393","journal-title":"Electronic Notes in Theoretical Computer Science"},{"key":"9075_CR14","doi-asserted-by":"crossref","first-page":"125","DOI":"10.1023\/A:1026185103185","volume":"75","author":"W. Hoek van der","year":"2003","unstructured":"van der Hoek W., Wooldridge M. (2003) Cooperation, knowledge and time: Alternating-time temporal epistemic logic and its applications. Studia Logica 75: 125\u2013157","journal-title":"Studia Logica"},{"key":"9075_CR15","doi-asserted-by":"crossref","unstructured":"Wooldridge, M., & van der Hoek, W. (2002). Time, knowledge, and cooperation: Alternating-time temporal epistemic logic and its applications. In Proceedings of the 5th International Conference on Coordination Models and Languages (p. 4).","DOI":"10.1007\/3-540-46000-4_3"}],"container-title":["Journal of Logic, Language and Information"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10849-008-9075-4.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10849-008-9075-4\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10849-008-9075-4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,2,28]],"date-time":"2024-02-28T15:22:04Z","timestamp":1709133724000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10849-008-9075-4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,7,23]]},"references-count":15,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2009,1]]}},"alternative-id":["9075"],"URL":"https:\/\/doi.org\/10.1007\/s10849-008-9075-4","relation":{},"ISSN":["0925-8531","1572-9583"],"issn-type":[{"value":"0925-8531","type":"print"},{"value":"1572-9583","type":"electronic"}],"subject":[],"published":{"date-parts":[[2008,7,23]]}}}