Public Announcements for Epistemic Models and Hypertheories

• Published in: Logic and Its Applications Vol. 11600; pp. 64 - 75
• Main Authors: Savić, Nenad, Studer, Thomas
• Format: Book Chapter
• Language: English
• Published: Germany Springer Berlin / Heidelberg 2019; Springer Berlin Heidelberg
• Series: Lecture Notes in Computer Science
• Subjects: Epistemic models; Hypertheories; Modal logic; Public announcements

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