{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,4]],"date-time":"2025-12-04T20:28:25Z","timestamp":1764880105221},"reference-count":29,"publisher":"Elsevier BV","issue":"2","license":[{"start":{"date-parts":[[1995,12,1]],"date-time":"1995-12-01T00:00:00Z","timestamp":817776000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2013,7,25]],"date-time":"2013-07-25T00:00:00Z","timestamp":1374710400000},"content-version":"vor","delay-in-days":6446,"URL":"https:\/\/www.elsevier.com\/open-access\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Artificial Intelligence"],"published-print":{"date-parts":[[1995,12]]},"DOI":"10.1016\/0004-3702(94)00060-3","type":"journal-article","created":{"date-parts":[[2002,7,25]],"date-time":"2002-07-25T22:20:38Z","timestamp":1027635638000},"page":"203-240","source":"Crossref","is-referenced-by-count":30,"title":["A nonstandard approach to the logical omniscience problem"],"prefix":"10.1016","volume":"79","author":[{"given":"Ronald","family":"Fagin","sequence":"first","affiliation":[]},{"given":"Joseph Y.","family":"Halpern","sequence":"additional","affiliation":[]},{"given":"Moshe Y.","family":"Vardi","sequence":"additional","affiliation":[]}],"member":"78","reference":[{"key":"10.1016\/0004-3702(94)00060-3_BIB1","author":"Anderson","year":"1975"},{"key":"10.1016\/0004-3702(94)00060-3_BIB2","series-title":"Contemporary Aspects of Philosophy","first-page":"30","article-title":"How a computer should think","author":"Belnap","year":"1977"},{"key":"10.1016\/0004-3702(94)00060-3_BIB3","series-title":"Modern Uses of Multiple-Valued Logic","first-page":"5","article-title":"A useful four-valued logic","author":"Belnap","year":"1977"},{"key":"10.1016\/0004-3702(94)00060-3_BIB4","author":"Chellas","year":"1980"},{"key":"10.1016\/0004-3702(94)00060-3_BIB5","doi-asserted-by":"crossref","first-page":"2","DOI":"10.1007\/BF00649986","article-title":"Intensional logics and logical truth","volume":"1","author":"Cresswell","year":"1972","journal-title":"J. Philos. Logic"},{"key":"10.1016\/0004-3702(94)00060-3_BIB6","author":"Cresswell","year":"1973"},{"key":"10.1016\/0004-3702(94)00060-3_BIB7","doi-asserted-by":"crossref","first-page":"149","DOI":"10.1007\/BF00373152","article-title":"Intuitive semantics for first-degree entailment and \u201ccoupled trees\u201d","volume":"29","author":"Dunn","year":"1976","journal-title":"Philos. Studies"},{"key":"10.1016\/0004-3702(94)00060-3_BIB8","first-page":"117","article-title":"Relevance logic and entailment","volume":"Vol. III","author":"Dunn","year":"1986"},{"key":"10.1016\/0004-3702(94)00060-3_BIB9","doi-asserted-by":"crossref","first-page":"39","DOI":"10.1016\/0004-3702(87)90003-8","article-title":"Belief, awareness and limited reasoning","volume":"34","author":"Fagin","year":"1988","journal-title":"Artif. Intell."},{"issue":"3","key":"10.1016\/0004-3702(94)00060-3_BIB10","doi-asserted-by":"crossref","first-page":"1018","DOI":"10.2307\/2275447","article-title":"What is an inference rule?","volume":"57","author":"Fagin","year":"1992","journal-title":"J. Symbolic Logic"},{"key":"10.1016\/0004-3702(94)00060-3_BIB11","article-title":"Logics of Time and Computation","volume":"7","author":"Goldblatt","year":"1992"},{"key":"10.1016\/0004-3702(94)00060-3_BIB12","first-page":"37","article-title":"Using reasoning about knowledge to analyze distributed systems","volume":"2","author":"Halpern","year":"1987"},{"key":"10.1016\/0004-3702(94)00060-3_BIB13","author":"Hughes","year":"1984"},{"key":"10.1016\/0004-3702(94)00060-3_BIB14","author":"Heyting","year":"1956"},{"key":"10.1016\/0004-3702(94)00060-3_BIB15","author":"Hintikka","year":"1962"},{"key":"10.1016\/0004-3702(94)00060-3_BIB16","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(94)00060-3_BIB17","doi-asserted-by":"crossref","first-page":"319","DOI":"10.1016\/0004-3702(92)90049-4","article-title":"A guide to completeness and complexity for modal logics of knowledge and belief","volume":"54","author":"Halpern","year":"1992","journal-title":"Artif. Intell."},{"issue":"3","key":"10.1016\/0004-3702(94)00060-3_BIB18","doi-asserted-by":"crossref","first-page":"467","DOI":"10.1137\/0206033","article-title":"The computational complexity of provability in systems of modal prepositional logic","volume":"6","author":"Ladner","year":"1977","journal-title":"SIAM J. Comput."},{"key":"10.1016\/0004-3702(94)00060-3_BIB19","series-title":"Proceedings IJCAI-87","first-page":"402","article-title":"Tractable meta-reasoning in propositional logics of belief","author":"Lakemeyer","year":"1987"},{"key":"10.1016\/0004-3702(94)00060-3_BIB20","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(94)00060-3_BIB21","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(94)00060-3_BIB22","doi-asserted-by":"crossref","first-page":"319","DOI":"10.1016\/0004-3702(89)90036-2","article-title":"A four-valued semantics for terminological logics","volume":"38","author":"Patel-Schneider","year":"1989","journal-title":"Artif. Intell."},{"key":"10.1016\/0004-3702(94)00060-3_BIB23","first-page":"18","article-title":"Impossible worlds semantics and logical omniscience","volume":"35","author":"Rantala","year":"1982","journal-title":"Acta Philos. Fenn."},{"key":"10.1016\/0004-3702(94)00060-3_BIB24","series-title":"Logic and Data Bases","first-page":"55","article-title":"On closed world data bases","author":"Reiter","year":"1978"},{"key":"10.1016\/0004-3702(94)00060-3_BIB25","series-title":"Theoretical Aspects of Reasoning about Knowledge: Proceedings 1986 Conference","first-page":"83","article-title":"The synthesis of digital machines with provable epistemic properties","author":"Rosenschein","year":"1986"},{"key":"10.1016\/0004-3702(94)00060-3_BIB26","series-title":"Truth, Syntax, and Semantics","first-page":"194","article-title":"The semantics of entailment I","author":"Routley","year":"1973"},{"key":"10.1016\/0004-3702(94)00060-3_BIB27","doi-asserted-by":"crossref","first-page":"335","DOI":"10.2307\/2214309","article-title":"Semantics of first degree entailment","volume":"6","author":"Routley","year":"1972","journal-title":"No\u00fbs"},{"key":"10.1016\/0004-3702(94)00060-3_BIB28","series-title":"Theoretical Aspects of Reasoning about Knowledge: Proceedings 1986 Conference","first-page":"293","article-title":"On epistemic logic and logical omniscience","author":"Vardi","year":"1986"},{"issue":"4","key":"10.1016\/0004-3702(94)00060-3_BIB29","doi-asserted-by":"crossref","first-page":"523","DOI":"10.1007\/BF00370163","article-title":"A general possible worlds framework for reasoning about knowledge and belief","volume":"49","author":"Wansing","year":"1990","journal-title":"Studia Logica"}],"container-title":["Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:0004370294000603?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:0004370294000603?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,4,14]],"date-time":"2019-04-14T14:54:25Z","timestamp":1555253665000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/0004370294000603"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995,12]]},"references-count":29,"journal-issue":{"issue":"2","published-print":{"date-parts":[[1995,12]]}},"alternative-id":["0004370294000603"],"URL":"https:\/\/doi.org\/10.1016\/0004-3702(94)00060-3","relation":{},"ISSN":["0004-3702"],"issn-type":[{"value":"0004-3702","type":"print"}],"subject":[],"published":{"date-parts":[[1995,12]]}}}