Zeitschriftenartikel:
S. Bucheli, R. Kuznets, T. Studer:
"Realizing public announcements by justifications";
Journal of Computer and System Sciences,
80
(2014),
6;
S. 1046
- 1066.
Kurzfassung englisch:
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.
Schlagworte:
Justification logic, Dynamic epistemic logic, Public announcements, Belief revision
"Offizielle" elektronische Version der Publikation (entsprechend ihrem Digital Object Identifier - DOI)
http://dx.doi.org/10.1016/j.jcss.2014.04.001
Elektronische Version der Publikation:
http://publik.tuwien.ac.at/files/publik_232959.pdf
Erstellt aus der Publikationsdatenbank der Technischen Universität Wien.