Justified Belief Change

TitleJustified Belief Change
Publication TypeConference Paper
Year of Publication2010
AuthorsBucheli, S, Kuznets, R, Renne, B, Sack, J, Studer, T
EditorArrazola, X, Ponte, M\'ıa
Conference NameProceedings of the Second ILCLI International Workshop on Logic and Philosphy of Knowledge, Communication and Action (LogKCA-10)
PublisherUniversity of the Basque Country Press
AbstractJustification 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.