tense logic

(redirected from Temporal 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 ?
He was one of the pioneers in analyzing the computational complexity of knowledge representation and reasoning systems and showed that inference is intractable for Allen's temporal logic and Reiter's default logic.
The team formulated a new mathematical logic, called Timed Quality Temporal Logic, and used it to test two popular machine-learning tools - Squeeze Det and YOLO - using raw video datasets of driving scenes.
The team of researchers formulated a new mathematical logic, called Timed Quality Temporal Logic, and used it to test two popular machine-learning tools--Squeeze Det and YOLO--using raw video datasets of driving scenes.
Linear Temporal Logic (LTL) The syntax of LTL state formula over the set AP is given as follows :
Work is also carried out for the application of temporal logic in the field of artificial intelligence and robotics [18].
The general principles of MC can be given as follows: (i) a system model is constructed with an automaton; (ii) a property which the system should satisfy is described by a temporal logic formula; and (iii) if an automaton is a model of the formula, the system model satisfies the property; otherwise, the system does not satisfy the property.
However, while media theorists such as Bernhard Siegert and Cornelia Vismann are interested in the entanglement of practices and technologies, Wolfgang Ernst emphasizes the technological part and suggests that, in order to understand cultural techniques, one needs to comprehend their internal logic--Eigenlogik--including the inherent temporal logic (Eigenzeit) of media (Ernst, 2011, 2013).
The specification can be expressed using for example Linear Temporal Logic (LTL) as:
As Amittai Aviram likes to say, poetry "tells time," and uses a peculiar sort of temporal logic or "telling rhythm" to do so.
In contrast, the vast grassland to the north, tributary states to the south, boundless sea to the east and the cloud-kissing Himalayas to the west have endowed China with a mentality of being a "Middle Kingdom." As Xi noted in his address for the College of Europe, "Of the world's ancient civilizations, the Chinese civilization has spanned over 5,000 years and continued uninterrupted to this day." Therefore, it is temporal logic, not spatial, that has dominated China's culture.
Full browser ?