Computation tree logic: Difference between revisions

Revision as of 17:56, 18 April 2020

Revision as of 07:53, 23 May 2020

Line 136:

==Relations with other logics==

<!-- CTL is a subset of CTL* -->

Computation tree logic (CTL) is a subset of CTL* as well as of the [[modal mu calculus|modal µμ calculus]]. CTL is also a fragment of Alur, Henzinger and Kupferman's [[Alternating-time Temporal Logic]] (ATL).

<!-- CTL is complementary to LTL -->