A general possible worlds framework for reasoning about knowledge and belief (Q1814181): Difference between revisions
From MaRDI portal
Added link to MaRDI item. |
ReferenceBot (talk | contribs) Changed an Item |
||
(3 intermediate revisions by 2 users not shown) | |||
Property / author | |||
Property / author: Heinrich Wansing / rank | |||
Property / reviewed by | |||
Property / reviewed by: Jan Šefránek / rank | |||
Property / author | |||
Property / author: Heinrich Wansing / rank | |||
Normal rank | |||
Property / reviewed by | |||
Property / reviewed by: Jan Šefránek / rank | |||
Normal rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4342096 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5791196 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3867808 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Intensional logics and logical truth / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Hyperintensional logic / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4342081 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Belief, awareness, and limited reasoning / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Guiding center Hamiltonian theory of free-electron lasers / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Impossible possible worlds vindicated / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3669369 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Quantified modal logic: non-normal worlds and propositional attitudes / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Bemerkungen Zur Semantik Nicht‐Normaler Möglicher Welten / rank | |||
Normal rank |
Latest revision as of 10:36, 15 May 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