Computation Tree Logic
A branching-time temporal logic that combines path quantification with temporal operators.
Temporal LogicsThe directory29 published entries
Welcome to LogicalZoo
Explore formal logics, their expressive power, and their relationships. A growing reference guide from syntax and semantics to decidability and complexity.
Find a logic
Search results
2 entriesLinear Temporal Logic
Linear Temporal Logic (LTL) is a propositional temporal logic for expressing properties of infinite execution traces using next, until, eventually, and always. It is widely used to specify and verify reactive systems.
Temporal Logics