A nonstandard approach to the logical omniscience problem

DOI10.1016/0004-3702(94)00060-3MaRDI QIDQ5917442zbMATH OpenOpenAlexWikidataFDO

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

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

epistemic logiclogic of implicit and explicit belieflogical omnisciencenonstandard propositional logicpossible worlds

Mathematics Subject Classification ID

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

Recommendations

• Epistemic logic and logical omniscience: A survey
• A dynamic solution to the problem of logical omniscience
• Dynamic Epistemic Logic and Logical Omniscience
• Dealing with logical omniscience: expressiveness and pragmatics
• Belief, awareness, and limited reasoning

Cites work

• A four-valued semantics for terminological logics
• A general possible worlds framework for reasoning about knowledge and belief
• A guide to completeness and complexity for modal logics of knowledge and belief
• Belief, awareness, and limited reasoning
• scientific article; zbMATH DE number 4014675 (Why is no real title available?)
• scientific article; zbMATH DE number 3821682 (Why is no real title available?)
• scientific article; zbMATH DE number 4033710 (Why is no real title available?)
• scientific article; zbMATH DE number 3659568 (Why is no real title available?)
• scientific article; zbMATH DE number 3670430 (Why is no real title available?)
• scientific article; zbMATH DE number 3504935 (Why is no real title available?)
• scientific article; zbMATH DE number 1028818 (Why is no real title available?)
• Impossible possible worlds vindicated
• Intensional logics and logical truth
• Intuitionism. An introduction
• Intuitive semantics for first-degree entailments and `coupled trees'
• On Some Completeness Theorems in Modal Logic
• The Computational Complexity of Provability in Systems of Modal Propositional Logic
• The Semantics of First Degree Entailment
• What is an inference rule?

Cited in

(34)

• Epistemic logic for rule-based agents
• Reaching agreements through argumentation: a logical model and implementation
• Resolving contradictions: A plausible semantics for inconsistent systems
• On the complexity of entailment in propositional multivalued logics
• Dynamic reasoning with qualified syllogisms
• A computational model of belief
• The problem of logical omniscience, the preface paradox, and doxastic commitments
• A dynamic solution to the problem of logical omniscience
• A probabilistic semantics for belief logic
• The fundamental problem of logical omniscience
• Explicating logical independence
• The defeater version of Benacerraf's problem for a priori knowledge
• Interactive unawareness revisited
• The problem of rational knowledge
• Dynamic Epistemic Logic and Logical Omniscience
• scientific article; zbMATH DE number 3882406 (Why is no real title available?)
• A formal approach to the problem of logical non-omniscience
• scientific article; zbMATH DE number 5080926 (Why is no real title available?)
• Logical omniscience as infeasibility
• scientific article; zbMATH DE number 1292305 (Why is no real title available?)
• Epistemic logic and logical omniscience: A survey
• Approximate coherence-based reasoning
• scientific article; zbMATH DE number 1759384 (Why is no real title available?)
• Substructural epistemic logics
• Belief functions on distributive lattices
• scientific article; zbMATH DE number 1453151 (Why is no real title available?)
• Satisfiability in a Temporal Multi-valueted Logic Based on Z
• Dealing with logical omniscience: expressiveness and pragmatics
• Hintikka and Cresswell on logical omniscience
• scientific article; zbMATH DE number 2209818 (Why is no real title available?)
• Relevant reasoning and implicit beliefs
• Epistemic logics for relevant reasoners
• Realizing impossibilities
• Agent-oriented epistemic reasoning: Subjective conditions of knowledge and belief

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5917442)