Publications in Scientific Journals:
S. Bucheli, R. Kuznets, T. Studer:
"Realizing public announcements by justifications";
Journal of Computer and System Sciences,
80
(2014),
6;
1046
- 1066.
English abstract:
Modal public announcement logics study how beliefs change after public announcements. However, these logics cannot express the reason for a new belief. Justification logics fill this gap since they can formally represent evidence and justifications for an agent's belief. We present OPAL(K) and JPAL(K), two alternative justification counterparts of Gerbrandy-Groeneveld's public announcement logic PAL(K). We show that PAL(K) is the forgetful projection of both OPAL(K) and JPAL(K). We also establish that JPAL(K) partially realizes PAL(K). The question whether a similar result holds for OPAL(K) is still open.
Keywords:
Justification logic, Dynamic epistemic logic, Public announcements, Belief revision
"Official" electronic version of the publication (accessed through its Digital Object Identifier - DOI)
http://dx.doi.org/10.1016/j.jcss.2014.04.001
Electronic version of the publication:
http://publik.tuwien.ac.at/files/publik_232959.pdf
Created from the Publication Database of the Vienna University of Technology.