No label defined (Q4953089)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 1443830
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | No label defined |
scientific article; zbMATH DE number 1443830 |
Statements
24 July 2001
0 references
epistemic logic
0 references
logical omniscience
0 references
logic of implicit and explicit belief
0 references
logic of awareness
0 references
epistemic model
0 references
multi-valued epistemic logic
0 references
resource-bounded agents
0 references
situation semantics
0 references
0.8194870352745056
0 references
0.8133785724639893
0 references
0.7817094922065735
0 references
0.7786580324172974
0 references
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.
0 references
