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:
“What’s this, Aurora Leigh,
You write so of the poets and not laugh?
Those virtuous liars, dreamers after dark,
Exaggerators of the sun and moon,
And soothsayers in a tea-cup? I write so
Of the only truth-tellers, now left to God,—
The only speakers of essential truth,
Opposed to relative, comparative,
And temporal truths;...
The only teachers who instruct mankind,
From just a shadow on a charnel-wall.”
—Elizabeth Barrett Browning (1806–1861)
“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)