Revisiting Epistemic Logic with Names

Kód výsledku v IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F67985807%3A_____%2F21%3A00547636" target="_blank" >RIV/67985807:_____/21:00547636 - isvavai.cz</a>

Výsledek na webu

<a href="http://eptcs.web.cse.unsw.edu.au/paper.cgi?TARK2021.4" target="_blank" >http://eptcs.web.cse.unsw.edu.au/paper.cgi?TARK2021.4</a>

DOI - Digital Object Identifier

<a href="http://dx.doi.org/10.4204/EPTCS.335.4" target="_blank" >10.4204/EPTCS.335.4</a>

Jazyk výsledku

angličtina

Název v původním jazyce

Revisiting Epistemic Logic with Names

Popis výsledku v původním jazyce

This paper revisits the multi-agent epistemic logic presented in [10], where agents and sets of agents are replaced by abstract, intensional „names”. We make three contributions. First, we study its model theory, providing adequate notions of bisimulation and frame morphisms, and use them to study the logic's expressive power and definability. Second, we show that the logic has a natural neighborhood semantics, which in turn allows to show that the axiomatization in [10] does not rely on possibly controversial introspective properties of knowledge. Finally, we extend the logic with common and distributed knowledge operators, and provide a sound and complete axiomatization for each of these extensions. These results together put the original epistemic logic with names in a more modern context and opens the door for a logical analysis of epistemic phenomena where group membership is uncertain or variable.

Název v anglickém jazyce

Revisiting Epistemic Logic with Names

Popis výsledku anglicky

This paper revisits the multi-agent epistemic logic presented in [10], where agents and sets of agents are replaced by abstract, intensional „names”. We make three contributions. First, we study its model theory, providing adequate notions of bisimulation and frame morphisms, and use them to study the logic's expressive power and definability. Second, we show that the logic has a natural neighborhood semantics, which in turn allows to show that the axiomatization in [10] does not rely on possibly controversial introspective properties of knowledge. Finally, we extend the logic with common and distributed knowledge operators, and provide a sound and complete axiomatization for each of these extensions. These results together put the original epistemic logic with names in a more modern context and opens the door for a logical analysis of epistemic phenomena where group membership is uncertain or variable.

Druh

D - Stať ve sborníku

CEP obor

—

OECD FORD obor

10201 - Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)

Projekt

—

Návaznosti

I - Institucionalni podpora na dlouhodoby koncepcni rozvoj vyzkumne organizace

Rok uplatnění

2021

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 statě ve sborníku

Proceedings Eighteenth Conference on Theoretical Aspects of Rationality and Knowledge

ISBN

—

ISSN

2075-2180

e-ISSN

—

Počet stran výsledku

16

Strana od-do

39-54

Název nakladatele

Open Publishing Association

Místo vydání

Waterloo

Místo konání akce

Beijing

Datum konání akce

25. 6. 2021

Typ akce podle státní příslušnosti

WRD - Celosvětová akce

Kód UT WoS článku

—