computation tree logic en · NOUN
Meanings
- (uncountable) A particular modal logic of branching time with operators "next", "globally", "finally" or "eventually", "until", and "weak until".
Dictionary
Words, grammatical forms and meanings linked to the ontology.