An egocentric logic of de dicto and de re knowing who
An egocentric logic of de dicto and de re knowing who
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.
Epstein, Sophia
8c22bdc2-314e-4c7b-94f0-4e2fd8c064a4
Naumov, Pavel
8b6c40fb-b199-44d5-a8e2-0ebd021566b0
Tao, Jia
8fe4f25f-bab8-471b-a1f3-d6faf9e4ddf2
Epstein, Sophia
8c22bdc2-314e-4c7b-94f0-4e2fd8c064a4
Naumov, Pavel
8b6c40fb-b199-44d5-a8e2-0ebd021566b0
Tao, Jia
8fe4f25f-bab8-471b-a1f3-d6faf9e4ddf2
Epstein, Sophia, Naumov, Pavel and Tao, Jia
(2023)
An egocentric logic of de dicto and de re knowing who.
Journal of Logic and Computation.
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.
Text
2023-jlc-ent
- Accepted Manuscript
More information
Accepted/In Press date: 2023
e-pub ahead of print date: 27 October 2023
Identifiers
Local EPrints ID: 480599
URI: http://eprints.soton.ac.uk/id/eprint/480599
ISSN: 0955-792X
PURE UUID: 20a94ec4-f4f1-4cb6-a035-19bc0e756714
Catalogue record
Date deposited: 07 Aug 2023 16:41
Last modified: 27 Oct 2024 05:01
Export record
Contributors
Author:
Sophia Epstein
Author:
Pavel Naumov
Author:
Jia Tao
Download statistics
Downloads from ePrints over the past year. Other digital versions may also be available to download e.g. from the publisher's website.
View more statistics