Geodesic
The Dynamic Epistemic Logic for Actual Knowledge
Bulletin of the Section of Logic, Tome 49 (2020) no. 1.

Voir la notice de l'article provenant de la source Library of Science

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.
Keywords: Dynamic epistemic logic, logic of public announcements, knowledge representation, problem of logical omniscience, actual knowledge, epistemic change, multi-agent systems 
@article{BSL_2020_49_1_a4,
     author = {W\'ojcik, Arkadiusz},
     title = {The {Dynamic} {Epistemic} {Logic} for {Actual} {Knowledge}},
     journal = {Bulletin of the Section of Logic},
     publisher = {mathdoc},
     volume = {49},
     number = {1},
     year = {2020},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/BSL_2020_49_1_a4/}
}
TY  - JOUR
AU  - Wójcik, Arkadiusz
TI  - The Dynamic Epistemic Logic for Actual Knowledge
JO  - Bulletin of the Section of Logic
PY  - 2020
VL  - 49
IS  - 1
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/BSL_2020_49_1_a4/
LA  - en
ID  - BSL_2020_49_1_a4
ER  - 
%0 Journal Article
%A Wójcik, Arkadiusz
%T The Dynamic Epistemic Logic for Actual Knowledge
%J Bulletin of the Section of Logic
%D 2020
%V 49
%N 1
%I mathdoc
%U http://geodesic.mathdoc.fr/item/BSL_2020_49_1_a4/
%G en
%F BSL_2020_49_1_a4
Wójcik, Arkadiusz. The Dynamic Epistemic Logic for Actual Knowledge. Bulletin of the Section of Logic, Tome 49 (2020) no. 1. http://geodesic.mathdoc.fr/item/BSL_2020_49_1_a4/