TxW Epistemic Modality

Logic and Philosophy of Science 10:3-14 (2012)
  Copy   BIBTEX


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.

Author's Profile

Andrea Iacona
Università di Torino


Added to PP

261 (#42,821)

6 months
27 (#69,198)

Historical graph of downloads since first upload
This graph includes both downloads from PhilArchive and clicks on external links on PhilPapers.
How can I increase my downloads?