Relevant epistemic logic with public announcements and common knowledge

Kód výsledku v IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F67985807%3A_____%2F23%3A00572522" target="_blank" >RIV/67985807:_____/23:00572522 - isvavai.cz</a>
Nalezeny alternativní kódy
RIV/67985955:_____/23:00572522
Výsledek na webu
<a href="https://doi.org/10.1093/logcom/exac100" target="_blank" >https://doi.org/10.1093/logcom/exac100</a>
DOI - Digital Object Identifier
<a href="http://dx.doi.org/10.1093/logcom/exac100" target="_blank" >10.1093/logcom/exac100</a>

Jazyk výsledku
angličtina
Název v původním jazyce
Relevant epistemic logic with public announcements and common knowledge
Popis výsledku v původním jazyce
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.
Název v anglickém jazyce
Relevant epistemic logic with public announcements and common knowledge
Popis výsledku anglicky
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.

Projekt
<a href="/cs/project/GM21-23610M" target="_blank" >GM21-23610M: Logická struktura informačních kanálů</a><br>
Návaznosti
I - Institucionalni podpora na dlouhodoby koncepcni rozvoj vyzkumne organizace

Rok uplatnění
2023
Kód důvěrnosti údajů
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Název periodika
Journal of Logic and Computation
ISSN
0955-792X
e-ISSN
1465-363X
Svazek periodika
33
Číslo periodika v rámci svazku
2
Stát vydavatele periodika
GB - Spojené království Velké Británie a Severního Irska
Počet stran výsledku
26
Strana od-do
436-461
Kód UT WoS článku
000923503800001
EID výsledku v databázi Scopus
—

Podobné výsledky(10)