scientific article; zbMATH DE number 1443830

DOI10.1002/(SICI)1098-111X(200002)15:2%3C129::AID-INT3%3E3.0.CO;2-TMaRDI QIDQ4953089zbMATH OpenFDO

Authors Kwang Mong Sim

Publication date 24 July 2001

Full work available at URL https://doi.org/10.1002/(SICI)1098-111X(200002)15:2%3C129::AID-INT3%3E3.0.CO;2-T

zbMATH Keywords

epistemic logicepistemic modellogic of awarenesslogic of implicit and explicit belieflogical omnisciencemulti-valued epistemic logicresource-bounded agentssituation semantics

Mathematics Subject Classification ID

Logics of knowledge and belief (including belief change) (03B42) Logic in artificial intelligence (68T27)

Review text

The author surveyed in a Part I [ibid. 12, No. 1, 57-81 (1997; Zbl 0890.03006)] a collection of epistemic logics. The present second part provides a unifying framework for various existing epistemic logics modeling resource-bounded agents. The logic of implicit and explicit belief (Levesque), the logic of awareness (Fagin and Halpern) and the epistemic model (Cadoli and Schaerf) are again reviewed as the representatives of the approaches taking into account limited reasoning capabilities of finite agents. A unifying framework, called multi-valued epistemic logic (MEL), which is based on the bilattice concept (Ginsberg, Fitting), is presented. It is proven that the semantics of MEL subsumes the semantics of the logics mentioned above.

Recommendations

• Belief, awareness, and limited reasoning
• Epistemic logic and logical omniscience: A survey
• A dynamic epistemic logic for resource-bounded agents
• Epistemic logic for rule-based agents

Cited in

(10)

• The problem of logical omniscience, the preface paradox, and doxastic commitments
• Dynamic Epistemic Logic and Logical Omniscience
• scientific article; zbMATH DE number 1517022 (Why is no real title available?)
• Knowledge, Uncertainty and Ignorance in Logic: Bilattices and beyond
• Doxastic logic: a new approach
• scientific article; zbMATH DE number 2149444 (Why is no real title available?)
• EPISTEMIC MULTILATERAL LOGIC
• Countering Justification Holism in the Epistemology of Logic: The Argument from Pre-Theoretic Universality
• The logic of fast and slow thinking
• Two-dimensional awareness logics

This page was built for publication:

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