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:
“Science is the language of the temporal world; love is that of the spiritual world. Man, indeed, describes more than he explains; while the angelic spirit sees and understands. Science saddens man; love enraptures the angel; science is still seeking, love has found. Man judges of nature in relation to itself; the angelic spirit judges of it in relation to heaven. In short to the spirits everything speaks.”
—Honoré De Balzac (1799–1850)
“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)