{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,4,12]],"date-time":"2024-04-12T01:08:14Z","timestamp":1712884094617},"reference-count":34,"publisher":"Informa UK Limited","issue":"1","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Journal of Applied Non-Classical Logics"],"published-print":{"date-parts":[[2011,1]]},"DOI":"10.3166\/jancl.21.93-131","type":"journal-article","created":{"date-parts":[[2011,5,9]],"date-time":"2011-05-09T12:58:03Z","timestamp":1304945883000},"page":"93-131","source":"Crossref","is-referenced-by-count":18,"title":["An alternating-time temporal logic with knowledge, perfect recall and past: axiomatisation and model-checking"],"prefix":"10.1080","volume":"21","author":[{"given":"Dimitar P.","family":"Guelev","sequence":"first","affiliation":[{"name":"a Institute of Mathematics and Informatics , Bulgarian Academy of Sciences , Bulgaria"}]},{"given":"Catalin","family":"Dima","sequence":"additional","affiliation":[{"name":"b LACL, Universit\u00e9 Paris Est-Cr\u00e9teil , 61 av. du G-ral de Gaulle, 94010 , Cr\u00e9teil , France"}]},{"given":"Constantin","family":"Enea","sequence":"additional","affiliation":[{"name":"c LIAFA, CNRS UMR 7089 , Universit\u00e9 Paris Diderot - Paris 7 , Case 7014, 75205 , Paris Cedex 13, France"}]}],"member":"301","published-online":{"date-parts":[[2012,4,13]]},"reference":[{"key":"CIT0001","first-page":"15","volume-title":"Proceedings of TARK'07","author":"\u00c5gotnes T."},{"key":"CIT0002","doi-asserted-by":"crossref","first-page":"664","DOI":"10.1007\/978-3-540-71209-1_51","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems 2007, volume 4424 of LNCS","author":"Alur R.","year":"2007"},{"key":"CIT0003","first-page":"100","volume-title":"Proceedings of the 38th IEEE Symposium on Foundations of Computer Science","author":"Alur R."},{"issue":"5","key":"CIT0004","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/585265.585270","volume":"49","author":"Alur R.","year":"2002","journal-title":"Journal of the ACM"},{"issue":"1","key":"CIT0005","first-page":"1","volume":"45","author":"Balbiani P.","year":"2001","journal-title":"Fundamenta Informaticae"},{"key":"CIT0006","first-page":"287","volume-title":"Proceedings of CSL'06, volume 4207 of Lecture Notes in Computer Science","author":"Chatterjee K."},{"key":"CIT0007","first-page":"117","volume-title":"Proceedings of the 9th International Workshop on Computational Logic in Multi-Agent Systems (CLIMA IX), volume 5405 of LNAI","author":"Dima C."},{"key":"CIT0008","volume-title":"Model-checking ATL under Imperfect Information and Perfect Recall Semantics is Undecidable","author":"Dima C.","year":"2011"},{"key":"CIT0009","first-page":"103","volume-title":"Proceedings First Symposium on Games, Automata, Logic, and Formal Verification (GandALF), volume 25 of EPTCS","author":"Dima C."},{"issue":"3","key":"CIT0010","doi-asserted-by":"crossref","first-page":"366","DOI":"10.1007\/s00224-007-9080-z","volume":"42","author":"Dix J.","year":"2008","journal-title":"Theory of Computing Systems"},{"key":"CIT0011","first-page":"53","volume-title":"Advances in Modal Logic","volume":"5","author":"French T.","year":"2005"},{"issue":"2","key":"CIT0012","doi-asserted-by":"crossref","first-page":"241","DOI":"10.1023\/B:SYNT.0000024915.66183.d1","volume":"139","author":"Goranko V.","year":"2004","journal-title":"Synthese"},{"issue":"1","key":"CIT0013","volume":"11","author":"Goranko V.","year":"2009","journal-title":"Transactions on Computational Logic"},{"issue":"1","key":"CIT0014","doi-asserted-by":"crossref","first-page":"93","DOI":"10.1016\/j.tcs.2005.07.043","volume":"353","author":"Goranko V.","year":"2006","journal-title":"Theoretical Computer Science"},{"key":"CIT0015","first-page":"75","volume-title":"Proceedings of DALT 2008, volume 5397 of Lecture Notes in Computer Science","author":"Guelev D. P."},{"key":"CIT0016","volume-title":"Reasoning about Knowledge","author":"Halpern J.","year":"1995"},{"key":"CIT0017","doi-asserted-by":"publisher","DOI":"10.1137\/S0097539797320906"},{"key":"CIT0018","doi-asserted-by":"publisher","DOI":"10.3166\/jancl.17.423-475"},{"issue":"2","key":"CIT0019","first-page":"185","volume":"63","author":"Jamroga W.","year":"2004","journal-title":"Fundamenta Informaticae"},{"key":"CIT0020","volume-title":"Strategic Ability under Uncertainty","author":"Jamroga W.","year":"2006"},{"issue":"1","key":"CIT0021","doi-asserted-by":"crossref","first-page":"55","DOI":"10.1093\/jigpal\/8.1.55","volume":"8","author":"Lichtenstein O.","year":"2000","journal-title":"Logic Journal of the IGPL"},{"key":"CIT0022","volume-title":"MCMAS: a Model Checker for Multi-Agents Systems","author":"Lomuscio A.","year":"2010"},{"key":"CIT0023","first-page":"161","volume-title":"Proceedings of the 5th International Conference on Autonomous Agents and Multi-Agent systems (AAMAS06)","author":"Lomuscio A."},{"key":"CIT0024","first-page":"29","volume-title":"Post-proceedings of DALT'06","author":"Lomuscio A."},{"key":"CIT0025","first-page":"746","volume-title":"Proceedings of the 31st Annual Symposium on Foundations of Computer Science (FOCS'90)","author":"Pnueli A."},{"issue":"2","key":"CIT0026","doi-asserted-by":"crossref","first-page":"274","DOI":"10.1016\/0022-0000(84)90034-5","volume":"29","author":"Reif J. H.","year":"1984","journal-title":"J. Comput. Syst. Sci."},{"key":"CIT0027","doi-asserted-by":"publisher","DOI":"10.1016\/S1571-0661(05)82604-0"},{"key":"CIT0028","first-page":"25","volume-title":"Preliminary Proceedings of the 3rd Workshop on Fixpoints in Computer Science (FICS'02), number NS-02-2 in BRICS Notes Series","author":"Shilov N. V."},{"key":"CIT0029","doi-asserted-by":"crossref","first-page":"389","DOI":"10.1007\/978-3-642-59126-6_7","volume-title":"Handbook of Formal Languages","volume":"3","author":"Thomas W.","year":"1997"},{"key":"CIT0030","volume-title":"A Complete Epistemic Logic for Multiple Agents: Combining Distributed and Common Knowledge","author":"van der Hoek W.","year":"1996"},{"key":"CIT0031","doi-asserted-by":"crossref","first-page":"125","DOI":"10.1023\/A:1026185103185","volume":"75","author":"van der Hoek W.","year":"2003","journal-title":"Studia Logica"},{"issue":"1","key":"CIT0032","doi-asserted-by":"crossref","first-page":"93","DOI":"10.1023\/A:1026181001368","volume":"75","author":"van der Meyden R.","year":"2003","journal-title":"Studia Logica"},{"key":"CIT0033","first-page":"432","volume-title":"FSTTCS, volume 1738 of Lecture Notes in Computer Science","author":"van der Meyden R.","year":"1999"},{"key":"CIT0034","first-page":"77","volume-title":"Proceedings of the 2nd International Workshop on Logic and Communication in Multi-Agent Systems (2004), volume 126 of ENTCS","author":"van Otterloo S."}],"container-title":["Journal of Applied Non-Classical Logics"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.tandfonline.com\/doi\/pdf\/10.3166\/jancl.21.93-131","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,23]],"date-time":"2017-06-23T11:17:50Z","timestamp":1498216670000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.tandfonline.com\/doi\/full\/10.3166\/jancl.21.93-131"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,1]]},"references-count":34,"journal-issue":{"issue":"1","published-online":{"date-parts":[[2012,4,13]]},"published-print":{"date-parts":[[2011,1]]}},"alternative-id":["10.3166\/jancl.21.93-131"],"URL":"https:\/\/doi.org\/10.3166\/jancl.21.93-131","relation":{},"ISSN":["1166-3081","1958-5780"],"issn-type":[{"value":"1166-3081","type":"print"},{"value":"1958-5780","type":"electronic"}],"subject":[],"published":{"date-parts":[[2011,1]]}}}