TxW Epistemic Modality
Logic and Philosophy of Science 10:3-14 (2012)
Abstract
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
Categories
(categorize this paper)
PhilPapers/Archive ID
IACTEM
Upload history
Archival date: 2013-11-07
View other versions
View other versions
Added to PP index
2013-11-07
Total views
214 ( #34,559 of 71,391 )
Recent downloads (6 months)
8 ( #60,926 of 71,391 )
2013-11-07
Total views
214 ( #34,559 of 71,391 )
Recent downloads (6 months)
8 ( #60,926 of 71,391 )
How can I increase my downloads?
Downloads since first upload
This graph includes both downloads from PhilArchive and clicks on external links on PhilPapers.