Temporal Logics
Temporal logics include
- Interval temporal logic (ITL)
- μ calculus. which includes as a subset
- Hennessy-Milner logic (HML)
- CTL*, which includes as a subset
- Computational tree logic (CTL)
- Linear temporal logic (LTL)
- Metric Interval Temporal Logic (MITL)
- Signal Temporal Logic (STL)
A variation, closely related to Temporal or Chronological or Tense logics, are Modal logics based upon "topology", "place", or "spatial position". One might also take note that in the Russian language, verbs have an aspect, based commonly upon time, but position also.
Read more about this topic: Temporal Logic
Famous quotes containing the words temporal and/or logics:
“Listen to any musical phrase or rhythm, and grasp it as a whole, and you thereupon have present in you the image, so to speak, of the divine knowledge of the temporal order.”
—Josiah Royce (1855–1916)
“When logics die,
The secret of the soil grows through the eye,
And blood jumps in the sun;
Above the waste allotments the dawn halts.”
—Dylan Thomas (1914–1953)