{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,12,15]],"date-time":"2024-12-15T00:40:08Z","timestamp":1734223208028,"version":"3.30.2"},"reference-count":28,"publisher":"IEEE Comput. Soc","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/time.2003.1214881","type":"proceedings-article","created":{"date-parts":[[2004,1,24]],"date-time":"2004-01-24T04:33:03Z","timestamp":1074918783000},"page":"62-71","source":"Crossref","is-referenced-by-count":2,"title":["Tableaux for temporal logics of knowledge: synchronous systems of perfect recall or no learning"],"prefix":"10.1109","author":[{"given":"C.","family":"Dixon","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"C.","family":"Nalon","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"M.","family":"Fisher","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1146\/annurev.cs.02.060187.000345"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(92)90049-4"},{"journal-title":"Complete axiomatizations for reasoning about knowledge and time","year":"1999","author":"halpern","key":"ref12"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1145\/12130.12161"},{"journal-title":"Technical Report RJ 6097","year":"1988","author":"halpern","key":"ref14"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1016\/0022-0000(89)90039-1"},{"key":"ref16","article-title":"Temporalizing tableaux","author":"kontchakov","year":"2003","journal-title":"To appear in Studia Logica"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45744-5_10"},{"journal-title":"Epistemic Logic for Computer Science and Artificial Intelligence volume 41 of Cambridge Tracts in Theoretical Computer Science","year":"1995","author":"meyer","key":"ref18"},{"key":"ref19","article-title":"Resolution for synchrony and no learning: Preliminary report","author":"nalon","year":"2001","journal-title":"Proceedings of the 8th International Workshop on Logic Language Information and Computation - WoLLIC'2001"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1080\/11663081.1998.10510944"},{"journal-title":"Tableaux for Logics of Time and Knowledge with Interactions Relating to Synchrony","year":"2003","author":"dixon","key":"ref4"},{"key":"ref27","first-page":"119","article-title":"The Tableau Method for Temporal Logic: An Overview","volume":"110 111","author":"wolper","year":"1985","journal-title":"Logique et Analyse"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1093\/logcom\/8.3.345"},{"key":"ref6","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/5803.001.0001","author":"fagin","year":"1995","journal-title":"Reasoning About Knowledge"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1016\/B978-0-444-88074-1.50021-4"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1142\/S0218843097000057"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1145\/371282.371311"},{"key":"ref2","article-title":"Clausal Resolution for Logics of Time and Knowledge with Synchrony and Perfect Recall","author":"dixon","year":"2000","journal-title":"Proceedings of ICTL-00 the Third International Conference on Temporal Logic"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1145\/146937.146940"},{"key":"ref1","article-title":"Tableaux for Synchronous Systems of Knowledge and Time with Interactions","author":"dixon","year":"1997","journal-title":"Proc Sixth Scandinavian Conf Artif Intell"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1016\/S0747-7171(86)80028-1"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1093\/logcom\/8.3.293"},{"key":"ref21","first-page":"102","article-title":"Decision Procedures for Propositional Linear-Time Belief-Desire-Intention Logics","author":"rao","year":"1995","journal-title":"IJCAI-95 Workshop on Agent Theories Architectures and Languages"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1145\/168588.168600"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1093\/logcom\/12.5.809"},{"journal-title":"Technical Report UU-CS-1998-08","year":"1998","author":"van linder","key":"ref26"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1109\/LICS.1994.316046"}],"event":{"name":"10th International Symposium on Temporal Representation and Reasoning and Fourth International Conference on Temporal Logic. TIME-ICTL 2003","acronym":"TIME-03","location":"Cairns, Qld., Australia"},"container-title":["10th International Symposium on Temporal Representation and Reasoning, 2003 and Fourth International Conference on Temporal Logic. Proceedings."],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/8624\/27321\/01214881.pdf?arnumber=1214881","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,12,15]],"date-time":"2024-12-15T00:09:05Z","timestamp":1734221345000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1214881\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":28,"URL":"https:\/\/doi.org\/10.1109\/time.2003.1214881","relation":{},"subject":[]}}