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
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.
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.