{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,13]],"date-time":"2026-04-13T11:45:19Z","timestamp":1776080719101,"version":"3.50.1"},"reference-count":46,"publisher":"Elsevier BV","issue":"1","license":[{"start":{"date-parts":[[1987,12,1]],"date-time":"1987-12-01T00:00:00Z","timestamp":565315200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Artificial Intelligence"],"published-print":{"date-parts":[[1987,12]]},"DOI":"10.1016\/0004-3702(87)90003-8","type":"journal-article","created":{"date-parts":[[2003,3,14]],"date-time":"2003-03-14T13:02:52Z","timestamp":1047646972000},"page":"39-76","source":"Crossref","is-referenced-by-count":498,"title":["Belief, awareness, and limited reasoning"],"prefix":"10.1016","volume":"34","author":[{"given":"Ronald","family":"Fagin","sequence":"first","affiliation":[]},{"given":"Joseph Y.","family":"Halpern","sequence":"additional","affiliation":[]}],"member":"78","reference":[{"key":"10.1016\/0004-3702(87)90003-8_BIB1","series-title":"Entailment, the Logic of Relevance and Necessity","author":"Anderson","year":"1975"},{"key":"10.1016\/0004-3702(87)90003-8_BIB2","series-title":"Proceedings Nonmonotonic Reasoning Workshop","first-page":"21","article-title":"Decision making in committees\u2014a framework for dealing with inconsistency and non-monotonicity","author":"Borgida","year":"1984"},{"key":"10.1016\/0004-3702(87)90003-8_BIB3","series-title":"Modal Logic","author":"Chellas","year":"1980"},{"key":"10.1016\/0004-3702(87)90003-8_BIB4","author":"Cresswell","year":"1973","journal-title":"Logics and Languages"},{"key":"10.1016\/0004-3702(87)90003-8_BIB5","series-title":"Proceedings IJCAI-83","first-page":"309","article-title":"A society of mind","author":"Doyle","year":"1983"},{"key":"10.1016\/0004-3702(87)90003-8_BIB6","doi-asserted-by":"crossref","first-page":"356","DOI":"10.1007\/BF00883100","article-title":"A logic of believing, knowing and inferring","volume":"26","author":"Eberle","year":"1974","journal-title":"Synthese"},{"key":"10.1016\/0004-3702(87)90003-8_BIB7","series-title":"Proceedings IJCAI-85","first-page":"491","article-title":"Belief, awareness, and limited reasoning: Preliminary report","author":"Fagin","year":"1985"},{"key":"10.1016\/0004-3702(87)90003-8_BIB8","series-title":"Proceedings 25th Annual IEEE Symposium on Foundations of Computer Science","first-page":"268","article-title":"A model-theoretic analysis of knowledge","author":"Fagin","year":"1984"},{"key":"10.1016\/0004-3702(87)90003-8_BIB9","series-title":"Proceedings 17th Annual ACM Symposium on Theory of Computing","first-page":"305","article-title":"An internal semantics for modal logic","author":"Fagin","year":"1985"},{"key":"10.1016\/0004-3702(87)90003-8_BIB10","series-title":"Proceedings 17th Annual ACM Symposium on Theory of Computing","first-page":"291","article-title":"The knowledge complexity of interactive proof-systems","author":"Goldwasser","year":"1985"},{"key":"10.1016\/0004-3702(87)90003-8_BIB11","article-title":"Logical omniscience, AI semantics, and models of belief","author":"Hadley","year":"1986","journal-title":"Simon Fraser University Tech. Rept. LCCR TR 86-3"},{"key":"10.1016\/0004-3702(87)90003-8_BIB12","series-title":"Proceedings 4th Annual ACM Symposium on the Principles of Distributed Computing","first-page":"224","article-title":"A formal model of knowledge, action, and communication in distributed systems: Preliminary report","author":"Halpern","year":"1985"},{"key":"10.1016\/0004-3702(87)90003-8_BIB13_1","series-title":"Proceedings 3rd Annual ACM Conference on Principles of Distributed Computing","first-page":"50","article-title":"Knowledge and common knowledge in a distributed environment","author":"Halpern","year":"1984"},{"key":"10.1016\/0004-3702(87)90003-8_BIB13_2","year":"1986","journal-title":"IBM Research Rept. RJ 4421"},{"key":"10.1016\/0004-3702(87)90003-8_BIB14","series-title":"Proceedings IJCAI-85","first-page":"480","article-title":"A guide to the modal logics of knowledge and belief","author":"Halpern","year":"1985"},{"key":"10.1016\/0004-3702(87)90003-8_BIB15","doi-asserted-by":"crossref","first-page":"127","DOI":"10.1016\/0304-3975(83)90097-X","article-title":"The propositional dynamic logic of deterministic, well-structured programs","volume":"27","author":"Halpern","year":"1983","journal-title":"Theor. Comput. Sci."},{"key":"10.1016\/0004-3702(87)90003-8_BIB16","series-title":"Proceedings 18th Annual ACM Symposium on Theory of Computing","first-page":"304","article-title":"The complexity of reasoning about knowledge and time","author":"Halpern","year":"1986"},{"key":"10.1016\/0004-3702(87)90003-8_BIB17","series-title":"Knowledge and Belief","author":"Hintikka","year":"1962"},{"key":"10.1016\/0004-3702(87)90003-8_BIB18","doi-asserted-by":"crossref","first-page":"475","DOI":"10.1007\/BF00558761","article-title":"Impossible possible worlds vindicated","volume":"4","author":"Hintikka","year":"1975","journal-title":"J. Philos. Logic"},{"key":"10.1016\/0004-3702(87)90003-8_BIB19","author":"Hughes","year":"1968","journal-title":"An Introduction to Modal Logic"},{"key":"10.1016\/0004-3702(87)90003-8_BIB20","series-title":"Artificial Intelligence Note 319","article-title":"Belief and incompleteness","author":"Konolige","year":"1984"},{"key":"10.1016\/0004-3702(87)90003-8_BIB21","series-title":"Theoretical Aspects of Reasoning about Knowledge: Proceedings of the 1986 Conference","first-page":"241","article-title":"What awareness isn't: A sentential view of implicit and explicit belief","author":"Konolige","year":"1986"},{"key":"10.1016\/0004-3702(87)90003-8_BIB22","doi-asserted-by":"crossref","first-page":"67","DOI":"10.1002\/malq.19630090502","article-title":"Semantical analysis of modal logic","volume":"9","author":"Kripke","year":"1963","journal-title":"Z. Math. Logik Grundl. Math."},{"issue":"3","key":"10.1016\/0004-3702(87)90003-8_BIB23","doi-asserted-by":"crossref","first-page":"467","DOI":"10.1137\/0206033","article-title":"The computational complexity of provability in systems of modal propositional logic","volume":"6","author":"Ladner","year":"1977","journal-title":"SIAM J. Comput."},{"key":"10.1016\/0004-3702(87)90003-8_BIB24","series-title":"Tractable meta-reasoning in propositional logics of belief","author":"Lakemeyer","year":"1987"},{"key":"10.1016\/0004-3702(87)90003-8_BIB25","series-title":"Proceedings Third Annual ACM Conference on Principles of Distributed Computing","first-page":"62","article-title":"Knowledge, common knowledge, and related puzzles","author":"Lehmann","year":"1984"},{"key":"10.1016\/0004-3702(87)90003-8_BIB26_1","series-title":"Proceedings AAAI-84","first-page":"198","article-title":"A logic of implicit and explicit belief","author":"Levesque","year":"1984"},{"key":"10.1016\/0004-3702(87)90003-8_BIB26_2","year":"1984","journal-title":"Lab. Tech. Rept. FLAIR #32"},{"key":"10.1016\/0004-3702(87)90003-8_BIB27","unstructured":"H.J. Levesque, Global and local consistency and completeness of beliefs, to appear."},{"key":"10.1016\/0004-3702(87)90003-8_BIB28","first-page":"169","article-title":"O logice trojwartosciowej (On three-valued logic)","volume":"5","author":"Lukasiewicz","year":"1920","journal-title":"Ruch Filozoficzny"},{"key":"10.1016\/0004-3702(87)90003-8_BIB29","doi-asserted-by":"crossref","first-page":"379","DOI":"10.1002\/malq.19660120131","article-title":"On some completeness theorems in modal logic","volume":"12","author":"Makinson","year":"1966","journal-title":"Z. Math. Logik Grundl. Math."},{"key":"10.1016\/0004-3702(87)90003-8_BIB30","series-title":"Ph.D. Thesis","article-title":"Cryptographic protocols","author":"Merritt","year":"1983"},{"key":"10.1016\/0004-3702(87)90003-8_BIB31","series-title":"Proceedings IJCAI-77","first-page":"1083","article-title":"Plain talk about neurodevelopmental epistemology","author":"Minsky","year":"1977"},{"key":"10.1016\/0004-3702(87)90003-8_BIB32","series-title":"Technical Note 187","article-title":"Computational models of beliefs and the semantics of belief sentences","author":"Moore","year":"1979"},{"key":"10.1016\/0004-3702(87)90003-8_BIB33","series-title":"Proceedings 27th Annual Symposium on Foundations of Computer Science","first-page":"208","article-title":"Programming simultaneous actions using common knowledge","author":"Moses","year":"1986"},{"key":"10.1016\/0004-3702(87)90003-8_BIB34","first-page":"106","article-title":"Impossible worlds semantics and logical omniscience","volume":"35","author":"Rantala","year":"1982","journal-title":"Acta Philos. Fennica"},{"key":"10.1016\/0004-3702(87)90003-8_BIB35","series-title":"Knowledge and Belief","author":"Rescher","year":"1979"},{"issue":"2","key":"10.1016\/0004-3702(87)90003-8_BIB36","doi-asserted-by":"crossref","first-page":"120","DOI":"10.1145\/359340.359342","article-title":"A method for obtaining digital signatures and public-key cryptosystems","volume":"21","author":"Rivest","year":"1978","journal-title":"Comm. ACM"},{"key":"10.1016\/0004-3702(87)90003-8_BIB37","doi-asserted-by":"crossref","first-page":"345","DOI":"10.1007\/BF03037076","article-title":"Formal theories of knowledge in AI and robotics","volume":"3","author":"Rosenschein","year":"1985","journal-title":"New Generation Comput."},{"issue":"2","key":"10.1016\/0004-3702(87)90003-8_BIB38","article-title":"A study of Kripke-style methods of some modal logics by Gentzen's sequential method","volume":"13","author":"Sato","year":"1977","journal-title":"Publications Research Inst. Math. Sci. Kyoto Univ."},{"key":"10.1016\/0004-3702(87)90003-8_BIB39","series-title":"An essay on classical modal logic","author":"Segerberg","year":"1972"},{"issue":"3","key":"10.1016\/0004-3702(87)90003-8_BIB40","doi-asserted-by":"crossref","first-page":"240","DOI":"10.1145\/3828.3837","article-title":"The complexity of propositional linear temporal logics","volume":"32","author":"Sistla","year":"1985","journal-title":"J. ACM"},{"key":"10.1016\/0004-3702(87)90003-8_BIB41","series-title":"Inquiry","author":"Stalnaker","year":"1985"},{"key":"10.1016\/0004-3702(87)90003-8_BIB42","series-title":"Theoretical Aspects of Reasoning about Knowledge: Proceedings of the 1986 Conference","first-page":"293","article-title":"On epistemic logic and logical omniscience","author":"Vardi","year":"1986"},{"key":"10.1016\/0004-3702(87)90003-8_BIB43","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1002\/cpa.3160130102","article-title":"The unreasonable effectiveness of mathematics in the natural sciences","volume":"13","author":"Wigner","year":"1960","journal-title":"Comm. Pure Appl. Math."},{"key":"10.1016\/0004-3702(87)90003-8_BIB44","series-title":"Explicit and implicit beliefs, a solution of a probem of H. Levesque","author":"Zadrozny","year":"1985"}],"container-title":["Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:0004370287900038?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:0004370287900038?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,3,26]],"date-time":"2019-03-26T23:57:54Z","timestamp":1553644674000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/0004370287900038"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1987,12]]},"references-count":46,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1987,12]]}},"alternative-id":["0004370287900038"],"URL":"https:\/\/doi.org\/10.1016\/0004-3702(87)90003-8","relation":{},"ISSN":["0004-3702"],"issn-type":[{"value":"0004-3702","type":"print"}],"subject":[],"published":{"date-parts":[[1987,12]]}}}