{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:19:56Z","timestamp":1725455996628},"publisher-location":"Berlin\/Heidelberg","reference-count":23,"publisher":"Springer-Verlag","isbn-type":[{"type":"print","value":"354058241X"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/bfb0013996","type":"book-chapter","created":{"date-parts":[[2005,11,23]],"date-time":"2005-11-23T07:34:32Z","timestamp":1132731272000},"page":"317-331","source":"Crossref","is-referenced-by-count":5,"title":["A decision procedure for a temporal belief logic"],"prefix":"10.1007","author":[{"given":"Michael","family":"Wooldridge","sequence":"first","affiliation":[]},{"given":"Michael","family":"Fisher","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"20_CR1","unstructured":"M. Ben-Ari. Mathematical Logic for Computer Science. Prentice Hall, 1993."},{"key":"20_CR2","unstructured":"A. H. Bond and L. Gasser, editors. Readings in Distributed Artificial Intelligence. Morgan Kaufmann Publishers, Inc., 1988."},{"key":"20_CR3","unstructured":"L. Catach. Normal multimodal logics. In Proceedings of the National Conference on Artificial Intelligence (AAAI '88), St. Paul, MN, 1988."},{"key":"20_CR4","doi-asserted-by":"crossref","unstructured":"E. A. Emerson. Temporal and modal logic. In J. van Leeuwen, editor, Handbook of Theoretical Computer Science, pages 996\u20131072. Elsevier, 1990.","DOI":"10.1016\/B978-0-444-88074-1.50021-4"},{"key":"20_CR5","unstructured":"M. Fisher. A resolution method for temporal logic. In Proceedings of the Twelfth International Joint Conference on Artificial Intelligence (IJCAI '91), Sydney, Australia, August 1991."},{"key":"20_CR6","unstructured":"M. Fisher and M. Wooldridge. Executable temporal logic for distributed A.I. In Proceedings of the 12th International Workshop on Distributed Artificial Intelligence, Hidden Valley, PA, May 1993."},{"key":"20_CR7","doi-asserted-by":"crossref","unstructured":"M. Fisher and M. Wooldridge. Specifying and verifying distributed intelligent systems. In M. Filgueiras and L. Damas, editors, Progress in Artificial Intelligence \u2014 Sixth Portuguese Conference on Artificial Intelligence (LNAI Volume 727), pages 13\u201328. Springer-Verlag, October 1993.","DOI":"10.1007\/3-540-57287-2_35"},{"key":"20_CR8","doi-asserted-by":"crossref","unstructured":"D. Gabbay. Declarative past and imperative future. In B. Banieqbal, H. Barringer, and A. Pnueli, editors, Proceedings of the Colloquium on Temporal Logic in Specification (LNCS Volume 398), pages 402\u2013450. Springer-Verlag, 1989.","DOI":"10.1007\/3-540-51803-7_36"},{"key":"20_CR9","doi-asserted-by":"crossref","unstructured":"C. Geissler and K. Konolige. A resolution method for quantified modal logics of knowledge and belief. In J. Y. Halpern, editor, Proceedings of the 1986 Conference on Theoretical Aspects of Reasoning About Knowledge, pages 309\u2013324. Morgan Kaufmann Publishers, Inc., 1986.","DOI":"10.1016\/B978-0-934613-04-0.50026-0"},{"key":"20_CR10","volume-title":"Master's thesis","author":"G. D. Gough","year":"1984","unstructured":"G. D. Gough. Decision procedures for temporal logic. Master's thesis, Department of Computer Science, Manchester University, Oxford Rd., Manchester M13 9PL, UK, October 1984."},{"key":"20_CR11","doi-asserted-by":"publisher","first-page":"319","DOI":"10.1016\/0004-3702(92)90049-4","volume":"54","author":"J. Y. Halpern","year":"1992","unstructured":"J. Y. Halpern and Y. Moses. A guide to completeness and complexity for modal logics of knowledge and belief. Artificial Intelligence, 54:319\u2013379, 1992.","journal-title":"Artificial Intelligence"},{"key":"20_CR12","doi-asserted-by":"publisher","first-page":"195","DOI":"10.1016\/0022-0000(89)90039-1","volume":"38","author":"J. Y. Halpern","year":"1989","unstructured":"J. Y. Halpern and M. Y. Vardi. The complexity of reasoning about knowledge and time. I. lower bounds. Journal of Computer and System Sciences, 38:195\u2013237, 1989.","journal-title":"Journal of Computer and System Sciences"},{"key":"20_CR13","unstructured":"C. B. Jones. Systematic Software Development using VDM (second edition). Prentice Hall, 1990."},{"key":"20_CR14","unstructured":"K. Konolige. A Deduction Model of Belief. Pitman\/Morgan Kaufmann, 1986."},{"key":"20_CR15","doi-asserted-by":"publisher","first-page":"155","DOI":"10.1016\/0304-3975(88)90024-2","volume":"58","author":"S. Kraus","year":"1988","unstructured":"S. Kraus and D. Lehmann. Knowledge, belief and time. Theoretical Computer Science, 58:155\u2013174,1988.","journal-title":"Theoretical Computer Science"},{"key":"20_CR16","doi-asserted-by":"crossref","unstructured":"Z. Manna and A. Pnueli. The Temporal Logic of Reactive and Concurrent Systems. Springer-Verlag, 1992.","DOI":"10.1007\/978-1-4612-0931-7"},{"key":"20_CR17","doi-asserted-by":"crossref","unstructured":"H. Reichgelt. Logics for reasoning about knowledge and belief. Knowledge Engineering Review, 4(2), 1989.","DOI":"10.1017\/S0269888900004884"},{"key":"20_CR18","doi-asserted-by":"crossref","unstructured":"Y. Shoham. Reasoning About Change: Time and Causation from the Standpoint of Artificial Intelligence. The MIT Press, 1988.","DOI":"10.1016\/B978-0-934613-67-5.50015-0"},{"key":"20_CR19","doi-asserted-by":"crossref","unstructured":"R. M. Smullyan. First-Order Logic. Springer-Verlag, 1968.","DOI":"10.1007\/978-3-642-86718-7"},{"key":"20_CR20","doi-asserted-by":"crossref","unstructured":"R. H. Thomason. Combinations of tense and modality. In D. Gabbay and F. Guenther, editors, Handbook of Philosophical Logic Volume II \u2014 Extensions of Classical Logic, pages 135\u2013166. D. Reidel Publishing Company, 1984. (Synthese library Volume 164).","DOI":"10.1007\/978-94-009-6259-0_3"},{"key":"20_CR21","unstructured":"P. Wolper. The tableau method for temporal logic: An overview. Logique et Analyse, 110\u2013111, 1985."},{"key":"20_CR22","volume-title":"PhD thesis","author":"M. Wooldridge","year":"1992","unstructured":"M. Wooldridge. The Logical Modelling of Computational Multi-Agent Systems. PhD thesis, Department of Computation, UMIST, Manchester, UK, October 1992."},{"key":"20_CR23","volume-title":"Technical report","author":"M. Wooldridge","year":"1994","unstructured":"M. Wooldridge. A temporal belief logic. Technical report, Department of Computing, Manchester Metropolitan University, Chester St., Manchester M1 5GD, UK, 1994."}],"container-title":["Lecture Notes in Computer Science","Temporal Logic"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/www.springerlink.com\/index\/pdf\/10.1007\/BFb0013996","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,11]],"date-time":"2020-04-11T04:35:15Z","timestamp":1586579715000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0013996"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["354058241X"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/bfb0013996","relation":{},"subject":[]}}