Epistemic logic with agentically non-rigid designators
Epistemic logic with agentically non-rigid designators
The article introduces chained designators, like "my buddy's boss' buddy'', into epistemic logic and gives a sound and complete axiomatization of a knowledge modality parameterized by such designators. It also studies the expressive power of the proposed modality.
Naumov, Pavel
8b6c40fb-b199-44d5-a8e2-0ebd021566b0
Zhang, Xinran
848d9745-1879-4b26-adbb-f8254d778bf7
Naumov, Pavel
8b6c40fb-b199-44d5-a8e2-0ebd021566b0
Zhang, Xinran
848d9745-1879-4b26-adbb-f8254d778bf7
Naumov, Pavel and Zhang, Xinran
(2025)
Epistemic logic with agentically non-rigid designators.
Journal of Philosophical Logic.
(doi:10.1007/s10992-025-09821-7).
Abstract
The article introduces chained designators, like "my buddy's boss' buddy'', into epistemic logic and gives a sound and complete axiomatization of a knowledge modality parameterized by such designators. It also studies the expressive power of the proposed modality.
Text
2025-jpl-nz
- Version of Record
More information
Accepted/In Press date: 29 October 2025
e-pub ahead of print date: 1 December 2025
Identifiers
Local EPrints ID: 507243
URI: http://eprints.soton.ac.uk/id/eprint/507243
ISSN: 0022-3611
PURE UUID: cdc8d5b4-fee8-4309-adef-1b7d088769ab
Catalogue record
Date deposited: 02 Dec 2025 18:03
Last modified: 03 Dec 2025 03:01
Export record
Altmetrics
Contributors
Author:
Pavel Naumov
Author:
Xinran Zhang
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