01023nas a2200193 4500008004100000245002800041210002800069260004300097300001200140520049200152100002000644700001900664700001700683700001700700700001900717700002100736700002000757856005200777 2010 eng d00aJustified Belief Change0 aJustified Belief Change bUniversity of the Basque Country Press a135-1553 aJustification Logic is a framework for reasoning about evidence and justification. Public Announcement Logic is a framework for reasoning about belief changes caused by public announcements. This paper develops JPAL, a dynamic justification logic of public announcements that corresponds to the modal theory of public announcements due to Gerbrandy and Groeneveld. JPAL allows us to reason about evidence brought about by and changed by Gerbrandy–Groeneveld-style public announcements.1 aBucheli, Samuel1 aKuznets, Roman1 aRenne, Bryan1 aSack, Joshua1 aStuder, Thomas1 aArrazola, Xabier1 aPonte, Mar\'ıa uhttp://www.iam.unibe.ch/ltgpub/2010/bkrss10.pdf