In particular I shall set out a language of first-order predicate tense logic
with a now predicate, and a first order (extensional) language with an abstraction operator, in such a way that each language can be shewn to be exactly translatable into the other.
More relations are possible than just the three relations that a Priorean tense logic
can express: E < S, E = S, and E > S (where E stands for eventuality time and S for point of speech).
The last two chapters take a different turn, discussing the relevance of Godel's views to issues arising in a variety of areas, including tense logic
and modal logic.
TLPLAN uses a modal tense logic
to represent domain-dependent control knowledge, and their forward-chaining algorithm is based on the use of formula progression, a technique similar to that used in tableau theorem provers for tense logics
German Temporal Semantics: Three-dimensional tense logic
and a GPSG fragment.
Confused by the same logic, Prior was inspired to develop tense logic
Prior, "Precursors of Tense Logic
," in Past, Present and Future (Oxford: Clarendon Press, 1967), p.
The answer has to do with tense logic
, and I shall develop this point below.
Copeland focuses on Prior's contributions to modal and tense logic
, and pays particular heed to the extent to which Prior anticipated the possible-worlds semantics associated most often with Kripke's name.
As for the fate of tense logic
on my view, I would not be sorry to see its demise since I believe it to rest on a confusion (cf.