Public Announcements for Epistemic Models and Hypertheories

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] Text
SavicStuder.pdf - Accepted Version
Restricted to registered users only
Available under License Publisher holds Copyright.

Download (299kB)

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 Edit item
Provide Feedback