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, Studer, Thomas |
Language: |
English |
Submitter: |
Factscience Import |
Date Deposited: |
04 Oct 2013 14:17 |
Last Modified: |
05 Dec 2022 14:04 |
URI: |
https://boris.unibe.ch/id/eprint/4973 (FactScience: 209636) |
Actions (login required)
 |
Edit item |