computation tree logic

English

Noun

computation tree logic (uncountable)

1. (computer science) A particular modal logic of branching time with operators "next", "globally", "finally" or "eventually", "until", and "weak until".

Synonyms

• computational tree logic (less common)
• CTL