A nonstandard approach to the logical omniscience problem

DOI10.1016/0004-3702(94)00060-3zbMath1505.03042OpenAlexW2159217391WikidataQ126323793 ScholiaQ126323793MaRDI QIDQ5925570

Ronald Fagin, Moshe Y. Vardi, Joseph Y. Halpern

Publication date: 21 September 2022

Published in: Artificial Intelligence (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0004-3702(94)00060-3

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Logics of knowledge and belief (including belief change) (03B42) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Intuitionism. An introduction
• Belief, awareness, and limited reasoning
• A four-valued semantics for terminological logics
• A guide to completeness and complexity for modal logics of knowledge and belief
• Impossible possible worlds vindicated
• Intuitive semantics for first-degree entailments and `coupled trees'
• A general possible worlds framework for reasoning about knowledge and belief
• Intensional logics and logical truth
• What is an inference rule?
• On Some Completeness Theorems in Modal Logic
• The Computational Complexity of Provability in Systems of Modal Propositional Logic
• The Semantics of First Degree Entailment

This page was built for publication: A nonstandard approach to the logical omniscience problem