Publications in Scientific Journals:
S. Bucheli, R. Kuznets, T. Studer:
"Realizing public announcements by justifications";
Journal of Computer and System Sciences,
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.
Justification logic, Dynamic epistemic logic, Public announcements, Belief revision
"Official" electronic version of the publication (accessed through its Digital Object Identifier - DOI)
Electronic version of the publication:
Created from the Publication Database of the Vienna University of Technology.