A general possible worlds framework for reasoning about knowledge and belief (Q1814181): Difference between revisions
From MaRDI portal
Added link to MaRDI item. |
Removed claims |
||
Property / author | |||
Property / author: Heinrich Wansing / rank | |||
Property / reviewed by | |||
Property / reviewed by: Jan Šefránek / rank | |||
Revision as of 09:34, 15 February 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | A general possible worlds framework for reasoning about knowledge and belief |
scientific article |
Statements
A general possible worlds framework for reasoning about knowledge and belief (English)
0 references
25 June 1992
0 references
It is shown that there is a unifying semantic framework --- Rantala's non-normal worlds semantics --- for various model theories of knowledge and belief which successfully avoid particular aspects of logical omniscience. The basic intuition behind the non-normal worlds semantics, intuition of compatibility, is expressed by the author as follows: ``agent \(i\) knows at world \(s\) that \(F\) iff \(F\) is true at all \(i\)'s epistemic alternatives from \(s\) (true at all worlds compatible with what \(i\) knows at \(s\))''. Non-normal worlds semantics is compared to the model theories of logics of knowledge and belief of Levesque, Fagin and Halpern, van der Hoek and Meyer. The results of the comparison: Every nontrivial structure for implicit and explicit belief (of Levesque) induces a Rantala model validating precisely the same formulas. Analogous claims are proven for Kripke structures for awareness (general awareness, local reasoning of Fagin and Halpern) and for Kripke structures for awareness and principles (of van der Hoek and Meyer): they all induce a Rantala model validating precisely the same formulas.
0 references
epistemic logic
0 references
Rantala's non-normal worlds semantics
0 references
model theories of knowledge and belief
0 references
logical omniscience
0 references
Kripke structures for awareness
0 references