Relations With Other Logics
Computation tree logic (CTL) is a subset of CTL* as well as of the modal µ calculus. CTL is also a fragment of Alur, Henzinger and Kupferman's Alternating-time Temporal Logic (ATL).
Computation tree logic (CTL) and Linear temporal logic (LTL) are both a subset of CTL*. CTL and LTL are not equivalent and they have a common subset, which is a proper subset of both CTL and LTL.
- FG.P exists in LTL but not in CTL.
- AG(P((EX.Q)(EX¬Q))) exists in CTL but not in LTL.
Read more about this topic: Computation Tree Logic
Famous quotes containing the words relations with, relations and/or logics:
“Society does not consist of individuals but expresses the sum of interrelations, the relations within which these individuals stand.”
—Karl Marx (1818–1883)
“All of life and human relations have become so incomprehensibly complex that, when you think about it, it becomes terrifying and your heart stands still.”
—Anton Pavlovich Chekhov (1860–1904)
“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)