An epistemic perspective on subjective and objective time
An epistemic perspective on subjective and objective time
The article introduces two modalities representing knowledge about the subjective and objective current moment of time. It provides formal semantics of these modalities, shows that the modalities are not definable through each other, and gives a sound and complete axiomatisation of their interplay. The axiomatisation contains an unusual Insertion inference rule generalising the Necessitation rule. The article proves that the Insertion rule is not derivable from the other axioms and inference rules.
Axiomatisation, Epistemic logic, Non-derivability, Objective time, Subjective time, Temporal logic, Undefinability
Naumov, Pavel
8b6c40fb-b199-44d5-a8e2-0ebd021566b0
Prajapati, Anshika
366a3bdc-1610-4b0d-94af-ac717cb09db9
Tao, Jia
8fe4f25f-bab8-471b-a1f3-d6faf9e4ddf2
Naumov, Pavel
8b6c40fb-b199-44d5-a8e2-0ebd021566b0
Prajapati, Anshika
366a3bdc-1610-4b0d-94af-ac717cb09db9
Tao, Jia
8fe4f25f-bab8-471b-a1f3-d6faf9e4ddf2
Naumov, Pavel, Prajapati, Anshika and Tao, Jia
(2025)
An epistemic perspective on subjective and objective time.
Journal of Philosophical Logic.
(doi:10.1007/s10992-025-09811-9).
Abstract
The article introduces two modalities representing knowledge about the subjective and objective current moment of time. It provides formal semantics of these modalities, shows that the modalities are not definable through each other, and gives a sound and complete axiomatisation of their interplay. The axiomatisation contains an unusual Insertion inference rule generalising the Necessitation rule. The article proves that the Insertion rule is not derivable from the other axioms and inference rules.
Text
2025-jpl-npt
- Version of Record
More information
e-pub ahead of print date: 13 September 2025
Keywords:
Axiomatisation, Epistemic logic, Non-derivability, Objective time, Subjective time, Temporal logic, Undefinability
Identifiers
Local EPrints ID: 505592
URI: http://eprints.soton.ac.uk/id/eprint/505592
ISSN: 0022-3611
PURE UUID: d597528a-ba82-42e2-acad-90ac26f3caec
Catalogue record
Date deposited: 14 Oct 2025 16:45
Last modified: 15 Oct 2025 02:06
Export record
Altmetrics
Contributors
Author:
Pavel Naumov
Author:
Anshika Prajapati
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