The 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

1 entries

LTL

Linear 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