Relevant Epistemic Logic with Public Announcements and Common Knowledge

Autoři: Vít Punčochář
Mgr. Igor Sedlár, Ph.D.
Rok vydání: 2021
Typ publikace: Konferenční příspěvek (mezinárodní konf.)
Periodikum: Logic and Argumentation: 4th International Conference, CLAR 2021, Hangzhou, China, October 20–22, 2021, Proceedings
Projekty: Neklasické logické modely informační dynamiky
Bibliografická citace: PUNČOCHÁŘ, Vít, SEDLÁR, Igor. Relevant Epistemic Logic with Public Announcements and Common Knowledge. In: BARONI, Pietro, BENZMÜLLER, Christoph, WÁNG, Yὶ N., eds. Logic and Argumentation: 4th International Conference, CLAR 2021, Hangzhou, China, October 20–22, 2021, Proceedings. Cham: Springer, 2021, S. 342-361. Lecture Notes in Artificial Intelligence, 13040. ISBN 978-3-030-89390-3
Dostupné z: doi:10.1007/978-3-030-89391-0_19
DOI: 10.1007/978-3-030-89391-0_19
ID: 547235

Abstrakt

Building on our previous work in non-classical dynamic epistemic logic, we add common knowledge operators to a version of public announcement logic based on the relevant logic R . We prove 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. It is argued that relevant public announcements are particularly suitable for modelling public argumentation.