1. Relevant epistemic logic with public announcements and common knowledge.
- Author
-
PunČochář, Vít, Sedlár, Igor, and Tedder, Andrew
- Subjects
EPISTEMIC logic ,KRIPKE semantics ,ANNOUNCEMENTS ,SEMANTICS - Abstract
We study a version of public announcement logic with common knowledge based on the relevant logic |$\textsf {R}$|. Public announcements, as represented in our framework, are not necessarily truthful and accepted by all agents, nor is it assumed that beliefs are preserved under announcements. We establish a completeness result with respect to a relational semantics, and we show that an alternative semantics based on information states is dual to the relational one. We add a question-forming inquisitive disjunction operator to the language and prove a completeness result with respect to the information semantics. [ABSTRACT FROM AUTHOR]
- Published
- 2023
- Full Text
- View/download PDF