Literatur vom gleichen Autor/der gleichen Autor*in
plus bei Google Scholar

Bibliografische Daten exportieren
 

Revisiting Epistemic Logic with Names

Titelangaben

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

Angaben zu Projekten

Projekttitel:
Offizieller Projekttitel
Projekt-ID
From Shared Evidence to Group Attitudes
RO 4548/6-4

Projektfinanzierung: Deutsche Forschungsgemeinschaft

Abstract

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.

Weitere Angaben

Publikationsform: Aufsatz in einem Buch
Begutachteter Beitrag: Ja
Institutionen der Universität: Fakultäten > Kulturwissenschaftliche Fakultät > Institut für Philosophie
Fakultäten > Kulturwissenschaftliche Fakultät > Institut für Philosophie > Lehrstuhl Philosophie I
Fakultäten > Kulturwissenschaftliche Fakultät > Institut für Philosophie > Lehrstuhl Philosophie I > Lehrstuhl Philosophie I - Univ.-Prof. Dr. Olivier Roy
Fakultäten
Fakultäten > Kulturwissenschaftliche Fakultät
Titel an der UBT entstanden: Ja
Themengebiete aus DDC: 100 Philosophie und Psychologie > 100 Philosophie
100 Philosophie und Psychologie > 120 Epistemologie
100 Philosophie und Psychologie > 160 Logik
Eingestellt am: 23 Jun 2021 06:29
Letzte Änderung: 23 Jun 2021 06:29
URI: https://eref.uni-bayreuth.de/id/eprint/66073