Literature by the same author
plus at Google Scholar

Bibliografische Daten exportieren

Revisiting Epistemic Logic with Names

Title data

Bílková, Marta ; Christoff, Zoé ; Roy, Olivier:
Revisiting Epistemic Logic with Names.
In: Halpern, Joseph ; Perea, Andrés (ed.): Proceedings of the 18th Conference on Theoretical Aspects of Rationality and Knowledge, Beijing, China, June 25-27, 2021. - Beijing : Open Publishing Association , 2021 . - pp. 39-54 . - (Electronic Proceedings in Theoretical Computer Science ; 335 )

Project information

Project title:
Project's official title
Project's id
From Shared Evidence to Group Attitudes
RO 4548/6-4

Project financing: Deutsche Forschungsgemeinschaft

Abstract in another language

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.

Further data

Item Type: Article in a book
Refereed: Yes
Institutions of the University: Faculties > Faculty of Cultural Studies > Department of Philosophy
Faculties > Faculty of Cultural Studies > Department of Philosophy > Chair Philosophy I
Faculties > Faculty of Cultural Studies > Department of Philosophy > Chair Philosophy I > Chair Philosophy I - Univ.-Prof. Dr. Olivier Roy
Faculties > Faculty of Cultural Studies
Result of work at the UBT: Yes
DDC Subjects: 100 Philosophy and psychology > 100 Philosophy
100 Philosophy and psychology > 120 Epistemology
100 Philosophy and psychology > 160 Logic
Date Deposited: 23 Jun 2021 06:29
Last Modified: 23 Jun 2021 06:29