Revision as of 08:11, 19 January 2021 edit Narky Blert (talk \| contribs) Autopatrolled, Extended confirmed users, Page movers 419,246 edits Link to DAB page repaired ← Previous edit		Revision as of 08:11, 26 May 2021 edit undo Cedar101 (talk \| contribs) Extended confirmed users 18,557 edits m →Relations with other logics: html math Next edit →
Line 143: Computation tree logic (CTL) and [[linear temporal logic]] (LTL) are both a subset of CTL. CTL and [[Linear temporal logic\|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~~<math>\Rightarrow</math>~~⇒(('''EX'''.Q)~~<math>\land</math>~~&and;('''EX'''¬Q))) and '''AG.EF'''.P exist in CTL but not in LTL. == Extensions ==

Computation tree logic: Difference between revisions