Tense, temporal reference, and tense logic

Patrick Blackburn*

*Corresponding author

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer 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.
TidsskriftJournal of Semantics
Udgave nummer1-2
Sider (fra-til)83-101
Antal sider19
StatusUdgivet - 1994
Udgivet eksterntJa

Citer dette