Epistemic logic and logical omniscience: A survey

DOI10.1002/(SICI)1098-111X(199701)12:1%3C57::AID-INT3%3E3.0.CO;2-XMaRDI QIDQ4332468zbMATH OpenOpenAlexFDO

Authors Kwang Mong Sim

Publication date 23 June 1998

Full work available at URL https://doi.org/10.1002/(sici)1098-111x(199701)12:1%3C57::aid-int3%3E3.0.co;2-x

zbMATH Keywords

epistemic logicKripke Structurelogical omniscienceMontague-Scott modelpossible-worlds semanticsreasoning about knowledge and belief

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Other nonclassical logic (03B60) Logic in artificial intelligence (68T27)

Recommendations

• Dynamic Epistemic Logic and Logical Omniscience
• Epistemic logic for rule-based agents
• Belief, awareness, and limited reasoning
• A nonstandard approach to the logical omniscience problem
• scientific article; zbMATH DE number 2212572

Cited in

(44)

• Epistemic logic for rule-based agents
• Inference and update
• Belief, awareness, and limited reasoning
• Using abstract resources to control reasoning
• The problem of logical omniscience, the preface paradox, and doxastic commitments
• Subjective situations and logical omniscience
• Bilattice logic of epistemic actions and knowledge
• The fundamental problem of logical omniscience
• Rethinking epistemic logic with belief bases
• Fuzzy autoepistemic logic and its relation to fuzzy answer set programming
• A simple logic for reasoning about incomplete knowledge
• Dynamic Epistemic Logic and Logical Omniscience
• Logical omniscience and the cost of deliberation
• Fuzzy autoepistemic logic: reflecting about knowledge of truth degrees
• scientific article; zbMATH DE number 2088977 (Why is no real title available?)
• scientific article; zbMATH DE number 4181308 (Why is no real title available?)
• The Dynamics of Syntactic Knowledge
• Tractable depth-bounded logics and the problem of logical omniscience
• Logical Omniscience Via Proof Complexity
• scientific article; zbMATH DE number 64163 (Why is no real title available?)
• scientific article; zbMATH DE number 549983 (Why is no real title available?)
• Reasoning about rational, but not logically omniscient, agents
• scientific article; zbMATH DE number 1517022 (Why is no real title available?)
• Knowledge, Uncertainty and Ignorance in Logic: Bilattices and beyond
• scientific article; zbMATH DE number 1755761 (Why is no real title available?)
• Doxastic logic: a new approach
• scientific article; zbMATH DE number 221548 (Why is no real title available?)
• scientific article; zbMATH DE number 824735 (Why is no real title available?)
• Epistemic logic with relevant agents
• scientific article; zbMATH DE number 1443830 (Why is no real title available?)
• scientific article; zbMATH DE number 1453147 (Why is no real title available?)
• A logic of knowledge based on abstract arguments
• The dynamic epistemic logic for actual knowledge
• Dealing with logical omniscience: expressiveness and pragmatics
• Hintikka and Cresswell on logical omniscience
• scientific article; zbMATH DE number 2212572 (Why is no real title available?)
• A nonstandard approach to the logical omniscience problem
• Countering Justification Holism in the Epistemology of Logic: The Argument from Pre-Theoretic Universality
• Depth-bounded Epistemic Logic
• The dynamics of awareness
• Game semantics, quantifiers and logical omniscience
• The KK Principle and the Strong Notion of Knowledge: Hintikka’s Arguments for KK Revisited
• Realizing impossibilities
• Agent-oriented epistemic reasoning: Subjective conditions of knowledge and belief

This page was built for publication: Epistemic logic and logical omniscience: A survey

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