tense logic


Also found in: Encyclopedia, Wikipedia.

tense logic

n
(Logic) logic the study of the logical properties of tense operators, and of the logical relations between sentences having tense, by means of consideration of appropriate formal systems
Collins English Dictionary – Complete and Unabridged, 12th Edition 2014 © HarperCollins Publishers 1991, 1994, 1998, 2000, 2003, 2006, 2007, 2009, 2011, 2014
References in periodicals archive ?
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 (P.
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.