Hintikka and Sleigh on epistemic logic
β Scribed by R. Z. Parks
- Publisher
- Springer Netherlands
- Year
- 1972
- Tongue
- English
- Weight
- 62 KB
- Volume
- 23
- Category
- Article
- ISSN
- 0031-8116
No coin nor oath required. For personal study only.
π SIMILAR VOLUMES
This survey brings together a collection of epistemic logics and discusses their approaches in alleviating the logical omniscience problem. Of particular note is the logic of implicit and explicit belief. Explicit belief refers to information actively held by an agent, while implicit belief refers t
Dubois, D. and H. Prade, Epistemic entrenchment and possibilistic logic (Research Note), Artificial Intelligence 50 (1991) 223-239. This note points out the close relationships existing between recent proposals in the theory of belief revision made by Gardenf6rs based on the notion of epistemic ent
## Abstract It is known that a theory in S5βepistemic logic with several agents may have numerous models. This is because each such model specifies also what an agent knows about infinite intersections of events, while the expressive power of the logic is limited to finite conjunctions of formulas.