{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,10]],"date-time":"2026-02-10T05:55:41Z","timestamp":1770702941346,"version":"3.49.0"},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540878049","type":"print"},{"value":"9783540878056","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-87805-6_10","type":"book-chapter","created":{"date-parts":[[2008,9,18]],"date-time":"2008-09-18T22:31:01Z","timestamp":1221777061000},"page":"99-110","source":"Crossref","is-referenced-by-count":2,"title":["Knowledge and Strategic Ability for Model Checking: A Refined Approach"],"prefix":"10.1007","author":[{"given":"Wojciech","family":"Jamroga","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"10_CR1","doi-asserted-by":"publisher","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\u00a049, 672\u2013713 (2002)","journal-title":"Journal of the ACM"},{"key":"10_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"52","DOI":"10.1007\/BFb0025774","volume-title":"Logics of Programs","author":"E.M. Clarke","year":"1982","unstructured":"Clarke, E.M., Emerson, E.A.: Design and synthesis of synchronization skeletons using branching time temporal logic. In: Kozen, D. (ed.) Logic of Programs 1981. LNCS, vol.\u00a0131, pp. 52\u201371. Springer, Heidelberg (1982)"},{"key":"10_CR3","unstructured":"Gerbrandy, J.: Bisimulations on Planet Kripke. PhD thesis, University of Amsterdam (1999)"},{"issue":"2","key":"10_CR4","doi-asserted-by":"publisher","first-page":"241","DOI":"10.1023\/B:SYNT.0000024915.66183.d1","volume":"139","author":"V. Goranko","year":"2004","unstructured":"Goranko, V., Jamroga, W.: Comparing semantics of logics for multi-agent systems. Synthese\u00a0139(2), 241\u2013280 (2004)","journal-title":"Synthese"},{"key":"10_CR5","unstructured":"Jamroga, W.: Reducing knowledge operators in the context of model checking. Technical Report IfI-07-09, Clausthal University of Technology (2007)"},{"key":"10_CR6","doi-asserted-by":"crossref","unstructured":"Jamroga, W., Bulling, N.: A framework for reasoning about rational agents. In: Proceedings of AAMAS 2007, pp. 592\u2013594 (2007)","DOI":"10.1145\/1329125.1329232"},{"issue":"2\u20133","key":"10_CR7","first-page":"185","volume":"63","author":"W. Jamroga","year":"2004","unstructured":"Jamroga, W., van der Hoek, W.: Agents that know how to play. Fundamenta Informaticae\u00a063(2\u20133), 185\u2013219 (2004)","journal-title":"Fundamenta Informaticae"},{"issue":"1","key":"10_CR8","doi-asserted-by":"publisher","first-page":"109","DOI":"10.1305\/ndjfl\/1093637776","volume":"29","author":"J.-J.C.. Meyer","year":"1988","unstructured":"Meyer, J.-J.C.: A different approach to deontic logic: Deontic logic viewed as a variant of dynamic logic. Notre Dame Journal of Formal Logic\u00a029(1), 109\u2013136 (1988)","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"10_CR9","doi-asserted-by":"crossref","unstructured":"Schild, K.: On the relationship between BDI logics and standard logics of concurrency. Autonomous Agents and Multi Agent Systems, 259\u2013283 (2000)","DOI":"10.1023\/A:1010076027707"},{"key":"10_CR10","doi-asserted-by":"crossref","unstructured":"Schobbens, P.Y.: Alternating-time logic with imperfect recall. Electronic Notes in Theoretical Computer Science\u00a085(2) (2004)","DOI":"10.1016\/S1571-0661(05)82604-0"},{"key":"10_CR11","doi-asserted-by":"crossref","unstructured":"van der Hoek, W., Roberts, M., Wooldridge, M.: Social laws in alternating time: Effectiveness, feasibility and synthesis. Synthese (2005)","DOI":"10.1007\/s11229-006-9072-6"},{"issue":"1","key":"10_CR12","doi-asserted-by":"publisher","first-page":"125","DOI":"10.1023\/A:1026185103185","volume":"75","author":"W. Hoek van der","year":"2003","unstructured":"van der Hoek, W., Wooldridge, M.: Cooperation, knowledge and time: Alternating-time Temporal Epistemic Logic and its applications. Studia Logica\u00a075(1), 125\u2013157 (2003)","journal-title":"Studia Logica"},{"key":"10_CR13","doi-asserted-by":"crossref","unstructured":"van Otterloo, S., van der Hoek, W., Wooldridge, M.: Knowledge as strategic ability. Electronic Lecture Notes in Theoretical Computer Science\u00a085(2) (2003)","DOI":"10.1016\/S1571-0661(05)82603-9"}],"container-title":["Lecture Notes in Computer Science","Multiagent System Technologies"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-87805-6_10.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,23]],"date-time":"2020-11-23T21:06:56Z","timestamp":1606165616000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-87805-6_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540878049","9783540878056"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-87805-6_10","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[]}}