Andrea Iacona
Università di Torino
So far, T×W frames have been employed to provide a semantics for a language of tense logic that includes a modal operator that expresses historical necessity. The operator is defined in terms of quantification over possible courses of events that satisfy a certain constraint, namely, that of being alike up to a given point. However, a modal operator can as well be defined without placing that constraint. This paper outlines a T×W logic where an operator of the latter kind is used to express the epistemic property of definiteness. Section 1 provides the theoretical background. Sections 2 and 3 set out the semantics. Sections 4 and 5 show, drawing on established results, that there is a sound and complete axiomatization of the logic outlined.
Keywords time  worlds  epistemic modality
Categories (categorize this paper)
DOI 10.1515/9783110348927.195
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy

 PhilArchive page | Other versions
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

Knowledge and Its Limits.Timothy Williamson - 2000 - Philosophy 76 (297):460-464.
Causal Determinism.Carl Hoefer - 2008 - Stanford Encyclopedia of Philosophy.
Timeless Truth.Andrea Iacona - 2013 - In Fabrice Correia & Andrea Iacona (eds.), Around the Tree. Springer.

Add more references

Citations of this work BETA

No citations found.

Add more citations

Similar books and articles


Added to PP index

Total views
185 ( #53,243 of 2,427,710 )

Recent downloads (6 months)
14 ( #50,376 of 2,427,710 )

How can I increase my downloads?


My notes