Tense, temporal reference, and tense logic

Patrick Blackburn*

*Corresponding author for this work

Research output: Contribution to journalJournal articlepeer-review


This paper examines extensions of Priorean tense logic in which reference to rimes is possible. The key technical idea is to sort the atomic symbols of Prior's language and to impose different interpretational restrictions on the different sorts. Among the sorts introduced are nominals (which permit Reichenbachian analyses of tense and tense-in-texts to be reconstructed in tense logic) and sorts which mimic temporal indexicals and calendar terms. The possibilities raised by sorting richer systems are briefly discussed.

Original languageEnglish
JournalJournal of Semantics
Issue number1-2
Pages (from-to)83-101
Number of pages19
Publication statusPublished - 1994
Externally publishedYes

Cite this