An egocentric logic of de dicto and de re knowing who-Reference-Cited by-同舟云学术

An egocentric logic of de dicto and de re knowing who

Published:2023-08-23 Issue: Volume: Page:
ISSN:0955-792X
Container-title:Journal of Logic and Computation
language:en
Short-container-title:

Author:

Epstein Sophia¹,Naumov Pavel²,Tao Jia³

Affiliation:

1. Oden Institute for Computational Engineering and Sciences, University of Texas at Austin , Austin, TX 78712, United States

2. School of Electronics and Computer Science, University of Southampton, Southampton , SO17 1BJ, United Kingdom

3. Department of Computer Science, Lafayette College , Easton, PA 18042, United States

Abstract

Abstract The article proposes de dicto and de re versions of ‘knowing-who’ modalities as well as studies the interplay between them and modalities ‘knows’ and ‘for all agents’. It shows that neither of these four modalities is definable through a combination of the three others. In addition, a sound and complete logical system describing the properties of de dicto ‘knows who’, ‘knows’ and ‘for all agents’ modalities is presented.

Publisher

Oxford University Press (OUP)

Subject

Logic,Hardware and Architecture,Arts and Humanities (miscellaneous),Software,Theoretical Computer Science

Link

https://academic.oup.com/logcom/advance-article-pdf/doi/10.1093/logcom/exad053/51233871/exad053.pdf

Reference26 articles.

1. Misreading like a lawyer: cognitive bias in statutory interpretation;Anderson;Harvard Law Review,2014

2. Binding modalities;Artemov;Journal of Logic and Computation,2013

3. Knowledge and belief: ‘de dicto’ and ‘de re’;Chisholm;Philosophical Studies: An International Journal for Philosophy in the Analytic Tradition,1976

4. A logic for diffusion in social networks;Christoff;Journal of Applied Logic,2015

5. Reflecting on social influence in networks;Christoff;Journal of Logic, Language and Information,2016