Revision as of 10:13, 18 February 2020 edit Fschwarzentruber (talk \| contribs) 238 edits →Extensions Tag: Visual edit ← Previous edit		Revision as of 17:10, 15 April 2020 edit undo 2001:1970:521e:2400::6f4a (talk) →Logical operators Next edit →
Line 34: ===Logical operators=== The [[Logical connective\|logical operators]] are the usual ones: ¬,&or;,&and;,⇒ and ~~⇐~~⇔. Along with these operators CTL formulas can also make use of the boolean constants [[Truth\|true]] and [[False (logic)\|false]]. ===Temporal operators===

Computation tree logic: Difference between revisions