|
|
Definition of Computation tree logic
1. Noun. (computer science) A particular modal logic of branching time with operators "next", "globally", "finally" or "eventually", "until", and "weak until". ¹
¹ Source: wiktionary.com
Lexicographical Neighbors of Computation Tree Logic
Other Resources:
