We study two dynamic epistemic logics with justifications.
•
We prove a realization theorem for the modal logic of public announcements.
•
We develop a realization method by translation.
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 and , two alternative justification counterparts of Gerbrandy–Groeneveld's public announcement logic . We show that is the forgetful projection of both and . We also establish that partially realizes . The question whether a similar result holds for is still open.