The University of Southampton
University of Southampton Institutional Repository

Epistemic logic with agentically non-rigid designators

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.
0022-3611
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).

Record type: Article

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
Available under License Creative Commons Attribution.
Download (597kB)

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
ORCID for Pavel Naumov: ORCID iD orcid.org/0000-0003-1687-045X

Catalogue record

Date deposited: 02 Dec 2025 18:03
Last modified: 03 Dec 2025 03:01

Export record

Altmetrics

Contributors

Author: Pavel Naumov ORCID iD
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

Atom RSS 1.0 RSS 2.0

Contact ePrints Soton: eprints@soton.ac.uk

ePrints Soton supports OAI 2.0 with a base URL of http://eprints.soton.ac.uk/cgi/oai2

This repository has been built using EPrints software, developed at the University of Southampton, but available to everyone to use.

We use cookies to ensure that we give you the best experience on our website. If you continue without changing your settings, we will assume that you are happy to receive cookies on the University of Southampton website.

×