{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,10,5]],"date-time":"2026-10-05T23:00:20Z","timestamp":1791241220065,"version":"4.1.0"},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642824555","type":"print"},{"value":"9783642824531","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1985]]},"DOI":"10.1007\/978-3-642-82453-1_16","type":"book-chapter","created":{"date-parts":[[2011,12,30]],"date-time":"2011-12-30T04:26:38Z","timestamp":1325219198000},"page":"459-476","source":"Crossref","is-referenced-by-count":42,"title":["Towards a Theory of Knowledge and Ignorance: Preliminary Report"],"prefix":"10.1007","author":[{"given":"Joseph Y.","family":"Halpern","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Yoram","family":"Moses","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"key":"16_CR1","doi-asserted-by":"crossref","unstructured":"R. Fagin, J. Y. Halpern, and M. Y. Vardi, A model-theoretic analysis of knowledge: preliminary report, Proceedings of the 25th IEEE Symposium on Foundations of Computer Science,1984, pp. 268\u2013278; also appears as IBM RJ 4373.","DOI":"10.1109\/SFCS.1984.715925"},{"key":"16_CR2","doi-asserted-by":"crossref","unstructured":"J. Y. Halpern and Y. Moses, Knowledge and common knowledge in a distributed environment, Proceedings of the 3rd ACM Symposium on Principles of Distributed Computing,1984, pp. 50\u201361; a revised version appears as IBM RJ 4421.","DOI":"10.1145\/800222.806735"},{"key":"16_CR3","unstructured":"J. Y. Halpern and Y. Moses, A guide to modal logics of knowledge, to appear as an IBM RJ, 1985."},{"key":"16_CR4","volume-title":"Knowledge and Belief","author":"J Hintikka","year":"1962","unstructured":"J. Hintikka, Knowledge and Belief, Cornell University Press, 1962."},{"key":"16_CR5","volume-title":"An Introduction to Modal Logic","author":"GE Hughes","year":"1968","unstructured":"G. E. Hughes and M. J. Cresswell, An Introduction to Modal Logic, Methuen, London, 1968."},{"key":"16_CR6","doi-asserted-by":"publisher","first-page":"67","DOI":"10.1002\/malq.19630090502","volume":"9","author":"S Kripke","year":"1963","unstructured":"S. Kripke, Semantical considerations of modal logic, Zeitschrift fur Mathematis-che Logik and Grundlagen der Mathematik 9, pp. 67\u201396, 1963.","journal-title":"Zeitschrift fur Mathematis-che Logik and Grundlagen der Mathematik"},{"key":"16_CR7","volume-title":"A deduction model of belief unpublished manuscript","author":"K Konolige","year":"1984","unstructured":"K. Konolige, A deduction model of belief, unpublished manuscript, 1984."},{"key":"16_CR8","unstructured":"Ko2] K. Konolige, Circumscriptive ignorance, Conference Proceedings of AAAI-82,pp. 202\u2013204."},{"issue":"3","key":"16_CR9","doi-asserted-by":"publisher","first-page":"467","DOI":"10.1137\/0206033","volume":"6","author":"RE Ladner","year":"1977","unstructured":"R. E. Ladner, The computational complexity of provability in systems of modal propositional logic, Siam J. Computing, 6: 3, 1977, pp. 467\u2013480.","journal-title":"Siam J. Computing"},{"key":"16_CR10","unstructured":"H. J. Levesque, A formal treatment of incomplete knowledge bases, Fairchild Technical Report No. 614, FLAIR Technical Report No. 3, 1982."},{"key":"16_CR11","doi-asserted-by":"publisher","first-page":"27","DOI":"10.1016\/0004-3702(80)90011-9","volume":"13","author":"J McCarthy","year":"1980","unstructured":"J. McCarthy, Circumscription \u2014 a form of non-monotonic reasoning, Artificial Intelligence 13, 1980, pp. 27\u201339.","journal-title":"Artificial Intelligence"},{"key":"16_CR12","volume-title":"Computer Science Technical Report","author":"J McCarthy","year":"1978","unstructured":"J. McCarthy, M. Sato, T. Hayashi, S. Igarashi, On the model theory of knowledge, Computer Science Technical Report STAN-CS-78\u2013657, Stanford University, April 1978."},{"key":"16_CR13","volume-title":"SET International","author":"RC Moore","year":"1980","unstructured":"R. C. Moore, Reasoning about knowledge and action, Artificial Intelligence Center Technical Note 191, SET International, 1980."},{"key":"16_CR14","volume-title":"SRI International Technical Note 284","author":"RC Moore","year":"1983","unstructured":"R. C. Moore, Semantical considerations on nonmonotonic logic, SRI International Technical Note 284, 1983."},{"key":"16_CR15","volume-title":"Monotonic and non-monotonic logics of knowledge, unpublished manuscript","author":"R Parikh","year":"1984","unstructured":"R. Parikh, Monotonic and non-monotonic logics of knowledge, unpublished manuscript, 1984."},{"key":"16_CR16","doi-asserted-by":"publisher","first-page":"81","DOI":"10.1016\/0004-3702(80)90014-4","volume":"13","author":"R Reiter","year":"1980","unstructured":"R. Reiter, A logic for default reasoning, Artificial Intelligence 13, 1980, pp. 81\u2013132.","journal-title":"Artificial Intelligence"},{"key":"16_CR17","unstructured":"R. Stalnaker, A note on non-monotonic modal logic, unpublished manuscript, Department of Philosophy, Cornell University."},{"key":"16_CR18","doi-asserted-by":"publisher","first-page":"371","DOI":"10.1002\/malq.19810272304","volume":"27","author":"WR Stark","year":"1956","unstructured":"W. R. Stark, A logic of knowledge, Zeitschrift fur Mathematische Logik and Grundlagen der Mathematik 27, pp. 371\u2013374, 1981.","journal-title":"Zeitschrift fur Mathematische Logik and Grundlagen der Mathematik"}],"container-title":["Logics and Models of Concurrent Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-82453-1_16.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,17]],"date-time":"2025-03-17T04:30:56Z","timestamp":1742185856000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-82453-1_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1985]]},"ISBN":["9783642824555","9783642824531"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-82453-1_16","relation":{},"subject":[],"published":{"date-parts":[[1985]]}}}