A nonstandard approach to the logical omniscience problem

DOI10.1016/0004-3702(94)00060-3zbMath1014.03513OpenAlexW2159217391WikidataQ126323793 ScholiaQ126323793MaRDI QIDQ5917442

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

Publication date: 4 February 2003

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

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

zbMATH Keywords

possible worldsepistemic logiclogical omnisciencelogic of implicit and explicit beliefnonstandard propositional logic

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Other nonclassical logic (03B60) Logic in artificial intelligence (68T27) Logics of knowledge and belief (including belief change) (03B42)

Related Items (19)

The problem of rational knowledge ⋮ Resolving contradictions: A plausible semantics for inconsistent systems ⋮ Satisfiability in a Temporal Multi-valueted Logic Based on Z ⋮ On the complexity of entailment in propositional multivalued logics ⋮ Logical omniscience as infeasibility ⋮ Substructural epistemic logics ⋮ Relevant reasoning and implicit beliefs ⋮ Dynamic reasoning with qualified syllogisms ⋮ Dynamic Epistemic Logic and Logical Omniscience ⋮ Belief functions on distributive lattices ⋮ A dynamic solution to the problem of logical omniscience ⋮ Interactive unawareness revisited ⋮ Epistemic logic for rule-based agents ⋮ Explicating logical independence ⋮ Approximate coherence-based reasoning ⋮ Reaching agreements through argumentation: a logical model and implementation ⋮ A probabilistic semantics for belief logic ⋮ A computational model of belief ⋮ Agent-oriented epistemic reasoning: Subjective conditions of knowledge and belief

Cites Work

• 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
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

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