Revisiting Epistemic Logic with Names
The result's identifiers
Result code in 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>
Result on the web
<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>
Alternative languages
Result language
angličtina
Original language name
Revisiting Epistemic Logic with Names
Original language description
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.
Czech name
—
Czech description
—
Classification
Type
D - Article in proceedings
CEP classification
—
OECD FORD branch
10201 - Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
Result continuities
Project
—
Continuities
I - Institucionalni podpora na dlouhodoby koncepcni rozvoj vyzkumne organizace
Others
Publication year
2021
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Data specific for result type
Article name in the collection
Proceedings Eighteenth Conference on Theoretical Aspects of Rationality and Knowledge
ISBN
—
ISSN
2075-2180
e-ISSN
—
Number of pages
16
Pages from-to
39-54
Publisher name
Open Publishing Association
Place of publication
Waterloo
Event location
Beijing
Event date
Jun 25, 2021
Type of event by nationality
WRD - Celosvětová akce
UT code for WoS article
—