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)
“Words are but symbols for the relations of things to one another and to us; nowhere do they touch upon absolute truth.”
—Friedrich Nietzsche (1844–1900)
“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)