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:
“If one could be friendly with women, what a pleasure—the relationship so secret and private compared with relations with men. Why not write about it truthfully?”
—Virginia Woolf (1882–1941)
“I have no wealthy or popular relations to recommend me.”
—Abraham Lincoln (1809–1865)
“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)