Public Announcements for Epistemic Models and Hypertheories

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

Full description

Saved in:
Bibliographic Details
Published inLogic and Its Applications Vol. 11600; pp. 64 - 75
Main Authors Savić, Nenad, Studer, Thomas
Format Book Chapter
LanguageEnglish
Published Germany Springer Berlin / Heidelberg 2019
Springer Berlin Heidelberg
SeriesLecture Notes in Computer Science
Subjects
Epistemic models
Hypertheories
Modal logic
Public announcements
Online AccessGet full text

Cover

More Information
Summary: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.
Bibliography:This work was supported by the Swiss National Science Foundation grant 200021_165549.
ISBN:366258770X
9783662587706
ISSN:0302-9743
1611-3349
DOI:10.1007/978-3-662-58771-3_7