Justified Belief Change

Bucheli, Samuel; Kuznets, Roman; Renne, Bryan; Sack, Joshua; Studer, Thomas (2010). Justified Belief Change. In: Arrazola, Xabier; Ponte, Maria (eds.) Proceedings of the Second ILCLI International Workshop on Logic and Philosphy of Knowledge, Communication and Action (LogKCA-10).

Full text not available from this repository. (Request a copy)

Justification 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.

Item Type: Conference or Workshop Item (Paper)
Division/Institute: 08 Faculty of Science > Institute of Computer Science (INF) > Logic and Theory Group (LTG)
08 Faculty of Science > Institute of Computer Science (INF)
UniBE Contributor: Bucheli, Samuel; Kuznets, Roman and Studer, Thomas
Language: English
Submitter: Factscience Import
Date Deposited: 04 Oct 2013 14:17
Last Modified: 08 Sep 2015 16:30
URI: http://boris.unibe.ch/id/eprint/4973 (FactScience: 209636)

Actions (login required)

Edit item Edit item
Provide Feedback