Revision as of 08:11, 26 May 2021 edit Cedar101 (talk \| contribs) Extended confirmed users 18,557 edits m →Relations with other logics: html math ← Previous edit		Revision as of 02:21, 10 June 2021 edit undo Beland (talk \| contribs) Autopatrolled, Administrators 259,156 edits m convert special characters (via WP:JWB) 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⇒~~P⇒(('''EX'''.Q)&and;('''EX'''¬Q))) and '''AG.EF'''.P exist in CTL but not in LTL. == Extensions ==

Computation tree logic: Difference between revisions