- Tytuł:
- The Dynamic Epistemic Logic for Actual Knowledge
- Autorzy:
- Wójcik, Arkadiusz
- Powiązania:
- https://bibliotekanauki.pl/articles/750022.pdf
- Data publikacji:
- 2020
- Wydawca:
- Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
- Tematy:
-
Dynamic epistemic logic
logic of public announcements
knowledge representation
problem of logical omniscience
actual knowledge
epistemic change
multi-agent systems - Opis:
- The dynamic epistemic logic for actual knowledge models the phenomenon of actual knowledge change when new information is received. In contrast to the systems of dynamic epistemic logic which have been discussed in the past literature, our system is not burdened with the problem of logical omniscience, that is, an idealized assumption that the agent explicitly knows all classical tautologies and all logical consequences of his or her knowledge. We provide a sound and complete axiomatization for this logic.
- Źródło:
-
Bulletin of the Section of Logic; 2020, 49, 1
0138-0680
2449-836X - Pojawia się w:
- Bulletin of the Section of Logic
- Dostawca treści:
- Biblioteka Nauki
Artykuł