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:
“When once a certain class of people has been placed by the temporal and spiritual authorities outside the ranks of those whose life has value, then nothing comes more naturally to men than murder.”
—Simone Weil (1909–1943)
“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)