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:
“Death is not an event in life: we do not live to experience death. If we take eternity to mean not infinite temporal duration but timelessness, then eternal life belongs to those who live in the present.”
—Ludwig Wittgenstein (1889–1951)
“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)