Relevant epistemic logic with public announcements and common knowledge

Autor:	Vít PunČochář, Igor Sedlár, Andrew Tedder
Rok vydání:	2023
Předmět:	Arts and Humanities (miscellaneous) Logic Hardware and Architecture Software Theoretical Computer Science
Zdroj:	Journal of Logic and Computation. 33:436-461
ISSN:	1465-363X 0955-792X
DOI:	10.1093/logcom/exac100
Popis:	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.
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_________::19ff627b5eec8456325eb1761fb1d660 https://doi.org/10.1093/logcom/exac100 Zobrazit plný text záznamu