Relevant epistemic logic with public announcements and common knowledge

0572522 - FLÚ 2024 RIV GB eng J - Journal Article
Punčochář, Vít - Sedlár, Igor - Tedder, A.
Relevant epistemic logic with public announcements and common knowledge.
Journal of Logic and Computation. Roč. 33, č. 2 (2023), s. 436-461. ISSN 0955-792X. E-ISSN 1465-363X
R&D Projects: GA ČR(CZ) GM21-23610M
Institutional support: RVO:67985955 ; RVO:67985807
Keywords : relevant logic * epistemic logic * public announcement * common knowledge * inquisitive logic
OECD category: Philosophy, History and Philosophy of science and technology; Pure mathematics (UIVT-O)
Impact factor: 0.7, year: 2022
Method of publishing: Limited access
https://doi.org/10.1093/logcom/exac100

We study a version of public announcement logic with common knowledge based on the relevant logic 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.
Permanent Link: https://hdl.handle.net/11104/0343465