{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:26:43Z","timestamp":1761611203318,"version":"3.33.0"},"reference-count":34,"publisher":"Informa UK Limited","issue":"4","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Journal of Applied Non-Classical Logics"],"published-print":{"date-parts":[[2004,1]]},"DOI":"10.3166\/jancl.14.397-445","type":"journal-article","created":{"date-parts":[[2007,4,12]],"date-time":"2007-04-12T09:26:19Z","timestamp":1176369979000},"page":"397-445","source":"Crossref","is-referenced-by-count":5,"title":["Tableaux for logics of time and knowledge with interactions relating to synchrony"],"prefix":"10.1080","volume":"14","author":[{"given":"Clare","family":"Dixon","sequence":"first","affiliation":[{"name":"a Department of Computer Science , The University of Liverpool , Liverpool , L69 7ZF , Uk"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Cl\u00e1udia","family":"Nalon","sequence":"additional","affiliation":[{"name":"a Department of Computer Science , The University of Liverpool , Liverpool , L69 7ZF , Uk"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Michael","family":"Fisher","sequence":"additional","affiliation":[{"name":"a Department of Computer Science , The University of Liverpool , Liverpool , L69 7ZF , Uk"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"301","published-online":{"date-parts":[[2012,4,13]]},"reference":[{"key":"CIT0001","doi-asserted-by":"crossref","first-page":"285","DOI":"10.1093\/logcom\/4.3.285","volume":"4","author":"D'AGOSTINO M.","year":"1994","journal-title":"Journal of Logic and Computation"},{"first-page":"28","volume-title":"Proceedings of the Sixth Scandinavian Conference on Artificial Intelligence (SCAI)","author":"DIXON C.","key":"CIT0002"},{"issue":"3","key":"CIT0003","doi-asserted-by":"crossref","first-page":"345","DOI":"10.1093\/logcom\/8.3.345","volume":"8","author":"DIXON C.","year":"1998","journal-title":"Journal of Logic and Computation"},{"key":"CIT0004","first-page":"43","volume-title":"Proceedings of ICTL-00 the Third International Conference on Temporal Logic","author":"DIXON C.","year":"2000"},{"key":"CIT0005","first-page":"996","volume-title":"Handbook of Theoretical Computer Science","author":"EMERSON E. A.","year":"1990"},{"key":"CIT0006","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/5803.001.0001","volume-title":"Reasoning About Knowledge","author":"FAGIN R.","year":"1995"},{"key":"CIT0007","first-page":"99","volume-title":"Proceedings of the Twelfth International Joint Conference on Artificial Intelligence (IJCAI)","author":"FISHER M.","year":"1991"},{"issue":"1","key":"CIT0008","doi-asserted-by":"crossref","DOI":"10.1142\/S0218843097000057","volume":"6","author":"FISHER M.","year":"1997","journal-title":"International Journal of Cooperative Information Systems"},{"issue":"1","key":"CIT0009","doi-asserted-by":"crossref","first-page":"12","DOI":"10.1145\/371282.371311","volume":"2","author":"FISHER M.","year":"2001","journal-title":"ACM Transactions on Computational Logic"},{"key":"CIT0010","first-page":"163","volume-title":"Proceedings of the Seventh ACM Symposium on the Principles of Programming Languages","author":"GABBAY D.","year":"1980"},{"issue":"3","key":"CIT0011","doi-asserted-by":"crossref","first-page":"226","DOI":"10.1145\/146937.146940","volume":"10","author":"GLASGOW J.","year":"1992","journal-title":"ACM Transactions on Computer Systems"},{"volume-title":"Tableaux Methods for Modal and Temporal Logics","year":"1995","author":"GOR\u00c9 R.","key":"CIT0012"},{"key":"CIT0013","doi-asserted-by":"crossref","first-page":"304","DOI":"10.1145\/12130.12161","volume-title":"Proceedings of the Eighteenth Annual ACM Symposium on Theory of Computing","author":"HALPERN J. Y.","year":"1986"},{"key":"CIT0014","doi-asserted-by":"crossref","DOI":"10.1146\/annurev.cs.02.060187.000345","volume":"2","author":"HALPERN J. Y.","year":"1987","journal-title":"Annual Review of Computer Science"},{"volume-title":"The Complexity of Reasoning about Knowledge and Time: Synchronous Systems","year":"1988","author":"HALPERN J. Y.","key":"CIT0015"},{"key":"CIT0016","doi-asserted-by":"publisher","DOI":"10.1016\/0022-0000(89)90039-1"},{"key":"CIT0017","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(92)90049-4"},{"key":"CIT0018","doi-asserted-by":"publisher","DOI":"10.1137\/S0097539797320906"},{"first-page":"533","volume-title":"Principles of Knowledge Representation and Reasoning: Proceedings of the Eighth International Conference (KR'2002)","author":"HUSTADT U.","key":"CIT0019"},{"key":"CIT0020","doi-asserted-by":"crossref","first-page":"91","DOI":"10.1023\/B:STUD.0000027468.28935.6d","volume":"76","author":"KONTCHAKOV R.","year":"2004","journal-title":"Studia Logica"},{"key":"CIT0021","doi-asserted-by":"crossref","DOI":"10.3233\/FI-1998-341203","volume-title":"Formalising Abilities and Opportunities of Agents","author":"VAN LINDER B.","year":"1998"},{"key":"CIT0022","doi-asserted-by":"crossref","first-page":"121","DOI":"10.1007\/3-540-45744-5_10","volume-title":"Automated Reasoning (LNAI volume 2083)","author":"LUTZ C.","year":"2001"},{"first-page":"448","volume-title":"Proceedings of the Ninth IEEE Symposium on Logic in Computer Science","author":"VAN DER MEYDEN R.","key":"CIT0023"},{"volume-title":"Epistemic Logic for Computer Science and Artificial Intelligence, vol. 41 of Cambridge Tracts in Theoretical Computer Science","year":"1995","author":"MEYER J.-J. C.","key":"CIT0024"},{"key":"CIT0025","doi-asserted-by":"publisher","DOI":"10.1006\/inco.1997.2679"},{"volume-title":"Proceedings of the 8th International Workshop on Logic Language, Information and Computation - WoLLIC'2001","author":"NALON C.","key":"CIT0026"},{"issue":"3","key":"CIT0027","doi-asserted-by":"crossref","first-page":"293","DOI":"10.1016\/S0747-7171(86)80028-1","volume":"2","author":"PLAISTED D. A.","year":"1986","journal-title":"Journal of Symbolic Computation"},{"key":"CIT0028","first-page":"102","volume-title":"IJCAI-95 Workshop on Agent Theories, Architectures, and Languages","author":"RAO A. S.","year":"1995"},{"issue":"3","key":"CIT0029","doi-asserted-by":"crossref","first-page":"293","DOI":"10.1093\/logcom\/8.3.293","volume":"8","author":"RAO A. S.","year":"1998","journal-title":"Journal of Logic and Computation"},{"issue":"4","key":"CIT0030","volume":"33","author":"SMULLYAN R. M.","year":"1968","journal-title":"Journal of Symbolic Logic"},{"issue":"5","key":"CIT0031","doi-asserted-by":"crossref","first-page":"809","DOI":"10.1093\/logcom\/12.5.809","volume":"12","author":"STURM H.","year":"2002","journal-title":"Journal of Logic and Computation"},{"first-page":"97","volume-title":"Proceedings of the First ACM Conference on Computer and Communications Security","author":"SYVERSON P.","key":"CIT0032"},{"key":"CIT0033","first-page":"119","volume":"110","author":"WOLPER P.","year":"1985","journal-title":"Logique et Analyse"},{"key":"CIT0034","doi-asserted-by":"publisher","DOI":"10.1080\/11663081.1998.10510944"}],"container-title":["Journal of Applied Non-Classical Logics"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.tandfonline.com\/doi\/pdf\/10.3166\/jancl.14.397-445","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,15]],"date-time":"2025-01-15T18:15:36Z","timestamp":1736964936000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.tandfonline.com\/doi\/full\/10.3166\/jancl.14.397-445"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004,1]]},"references-count":34,"journal-issue":{"issue":"4","published-online":{"date-parts":[[2012,4,13]]},"published-print":{"date-parts":[[2004,1]]}},"alternative-id":["10.3166\/jancl.14.397-445"],"URL":"https:\/\/doi.org\/10.3166\/jancl.14.397-445","relation":{},"ISSN":["1166-3081","1958-5780"],"issn-type":[{"type":"print","value":"1166-3081"},{"type":"electronic","value":"1958-5780"}],"subject":[],"published":{"date-parts":[[2004,1]]}}}