Hierarchy:
Description:
{{computer science}} A particular modal logic of branching time with operators "next", "globally", "finally" or "eventually", "until", and "weak until".
Ngram:
Ngram Text:
computation tree logic
Source:
Wiktionary
Issue:
0
Wiktionary tag:
Ngram Count:
3