Savic, Nenad; Studer, Thomas (5 February 2019). Public Announcements for Epistemic Models and Hypertheories. In: Khan, Md. Aquil; Manuel, Amaldev (eds.) ICLA 2019 - 8th Indian Conference on Logic and its Applications. Lecture Notes in Computer Science: Vol. 11600 (pp. 64-75). Delhi, India: Springer 10.1007/978-3-662-58771-3_7
![[img]](https://boris.unibe.ch/style/images/fileicons/text.png) |
Text
SavicStuder.pdf - Accepted Version Restricted to registered users only Available under License Publisher holds Copyright. Download (299kB) | Request a copy |
Artemov has recently proposed a modernization of the semantics and proof theory of epistemic logic. We take up his approach and extend his framework with public announcements and the corresponding belief change operation. We establish a soundness and completeness result and show that our model update operation satisfies the AGM postulate of minimal change. Further, we also show that the standard approach cannot be directly employed to capture knowledge change by truthful announcements.
Item Type: |
Conference or Workshop Item (Paper) |
|---|---|
Division/Institute: |
08 Faculty of Science > Institute of Computer Science (INF) > Logic and Theory Group (LTG) |
UniBE Contributor: |
Savic, Nenad, Studer, Thomas |
Subjects: |
000 Computer science, knowledge & systems 500 Science > 510 Mathematics |
ISBN: |
978-3-662-58771-3 |
Series: |
Lecture Notes in Computer Science |
Publisher: |
Springer |
Language: |
English |
Submitter: |
Nenad Savic |
Date Deposited: |
07 Jun 2019 14:58 |
Last Modified: |
05 Dec 2022 15:28 |
Publisher DOI: |
10.1007/978-3-662-58771-3_7 |
Additional Information: |
Logic and Its Applications. 8th Indian Conference, ICLA 2019. Delhi, India, March 1-5, 2019. Proceedings. Also part of the Theoretical Computer Science and General Issues, volume 11600 |
BORIS DOI: |
10.7892/boris.130152 |
URI: |
https://boris.unibe.ch/id/eprint/130152 |
Actions (login required)
 |
Edit item |