{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:28:26Z","timestamp":1761611306253,"version":"3.40.3"},"reference-count":27,"publisher":"Informa UK Limited","issue":"3","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Journal of Applied Non-Classical Logics"],"published-print":{"date-parts":[[1998,1]]},"DOI":"10.1080\/11663081.1998.10510944","type":"journal-article","created":{"date-parts":[[2012,5,30]],"date-time":"2012-05-30T08:10:26Z","timestamp":1338365426000},"page":"225-258","source":"Crossref","is-referenced-by-count":32,"title":["A Tableau-Based Proof Method for Temporal Logics of Knowledge and Belief"],"prefix":"10.1080","volume":"8","author":[{"given":"Michael","family":"Wooldridge","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Clare","family":"Dixon","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Michael","family":"Fisher","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"301","reference":[{"key":"CIT0001","first-page":"388","volume-title":"Proceedings of the 10th International Conference on Logic in Computer Science (LICS'95)","author":"Bhat G.","year":"1995"},{"key":"CIT0002","first-page":"491","volume-title":"Proceedings of the Seventh National Conference on Artificial Intelligence (AAAI-88)","author":"Catach L.","year":"1988"},{"key":"CIT0003","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511621192","volume-title":"Modal Logic: An Introduction.","author":"Chellas B.","year":"1980"},{"key":"CIT0004","unstructured":"Elliot, I. 1996. \u201cAn Implementation of a Tableau-Based Decision Procedure for Temporal Logics of Knowledge and Belief. Master's thesis, Department of Computing, Manchester Metropolitan University, October\u201d."},{"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"},{"issue":"2","key":"CIT0007","doi-asserted-by":"crossref","first-page":"328","DOI":"10.1145\/128749.150945","volume":"39","author":"Fagin R.","year":"1992","journal-title":"Journal of the ACM"},{"volume-title":"Proceedings of the International Conference on Formal and Applied Practical Reasoning (FAPR-96), Springer-Verlag","year":"1996","author":"Fisher M.","key":"CIT0008"},{"key":"CIT0009","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-017-2794-5","volume-title":"Proof Methods for Modal and Intuitionistic Logics. D. Reidel Publishing Company: Dordrecht, The Netherlands","author":"Fitting M.","year":"1983"},{"volume-title":"Cut-Free Sequent Systems for Propositional Normal Modal Logics. PhD thesis, Computer Laboratory, University of Cambridge, U.K.","year":"1992","author":"Gor\u00e9 R.","key":"CIT0010"},{"key":"CIT0011","unstructured":"Gor\u00e9, R. 1995. \u201cTableaux Methods for Modal and Temporal Logics. Technical Report TR-ARP-15-95, Australian National University, May\u201d. To appear as chapter in the Handbook of Tableau Methods"},{"key":"CIT0012","unstructured":"Gough, G. D. 1984. \u201cDecision procedures for temporal logic. Master's thesis, Department of Computer Science, Manchester University, Oxford Rd., Manchester M13 9PL, UK, October\u201d."},{"key":"CIT0013","doi-asserted-by":"crossref","first-page":"37","DOI":"10.1146\/annurev.cs.02.060187.000345","volume":"2","author":"Halpern J. Y.","year":"1987","journal-title":"Annual Review of Computer Science"},{"key":"CIT0014","doi-asserted-by":"crossref","first-page":"319","DOI":"10.1016\/0004-3702(92)90049-4","volume":"54","author":"Halpern J. Y.","year":"1992","journal-title":"Artificial Intelligence"},{"key":"CIT0015","doi-asserted-by":"crossref","first-page":"195","DOI":"10.1016\/0022-0000(89)90039-1","volume":"38","author":"Halpern J. Y.","year":"1989","journal-title":"Journal of Computer and System-Sciences"},{"key":"CIT0016","doi-asserted-by":"crossref","first-page":"155","DOI":"10.1016\/0304-3975(88)90024-2","volume":"58","author":"Kraus S.","year":"1988","journal-title":"Theoretical Computer Science"},{"key":"CIT0017","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4612-4222-2","volume-title":"Temporal Verification of Reactive Systems: Safety.","author":"Manna Z.","year":"1995"},{"volume-title":"Cambridge Tracts in Theoretical Computer Science.","year":"1995","author":"Meyer J.-J. C.","key":"CIT0018"},{"volume-title":"Proceedings of the International Symposium on Protocol Specification, Testing and Verification","year":"1995","author":"Vardi M. Y.","key":"CIT0019"},{"key":"CIT0020","unstructured":"Rao, A. S. and Georgeff, M. P. 1995. \u201cFormal Models and Decision Procedures for Multi-Agent Systems. Technical Report 61, Australian Artificial Intelligence Institute, June\u201d."},{"volume-title":"Reasoning About Change: Time and Causation from the Standpoint of Artificial Intelligence.","year":"1988","author":"Shoham Y.","key":"CIT0021"},{"issue":"4","key":"CIT0022","volume":"33","author":"Smullyan R. M.","year":"1968","journal-title":"Journal of Symbolic Logic"},{"key":"CIT0023","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-86718-7","volume-title":"First-Order Logic. Springer-Verlag: Heidelberg, Germany","author":"Smullyan R. M.","year":"1968"},{"key":"CIT0024","doi-asserted-by":"crossref","first-page":"448","DOI":"10.1109\/LICS.1994.316046","volume-title":"Proceedings of the Ninth IEEE Symposium on Logic in Computer Science","author":"van der Meyden R.","year":"1994"},{"key":"CIT0025","first-page":"110","volume-title":"Logigue et Analyse","author":"Wolper P.","year":"1985"},{"volume-title":"The Logical Modelling of Computational Multi-Agent Systems. PhD thesis, Department of Computation, UMIST, Manchester, UK","year":"1992","author":"Wooldridge M.","key":"CIT0026"},{"key":"CIT0027","first-page":"317","volume-title":"Temporal Logic\u2014Proceedings of the First International Conference (LNAI Volume 827)","author":"Wooldridge M.","year":"1994"}],"container-title":["Journal of Applied Non-Classical Logics"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/www.tandfonline.com\/doi\/pdf\/10.1080\/10256018808623883","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,29]],"date-time":"2025-03-29T01:48:03Z","timestamp":1743212883000},"score":1,"resource":{"primary":{"URL":"http:\/\/www.tandfonline.com\/doi\/abs\/10.1080\/11663081.1998.10510944"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998,1]]},"references-count":27,"journal-issue":{"issue":"3","published-print":{"date-parts":[[1998,1]]}},"alternative-id":["10.1080\/11663081.1998.10510944"],"URL":"https:\/\/doi.org\/10.1080\/11663081.1998.10510944","relation":{},"ISSN":["1166-3081","1958-5780"],"issn-type":[{"type":"print","value":"1166-3081"},{"type":"electronic","value":"1958-5780"}],"subject":[],"published":{"date-parts":[[1998,1]]}}}