Explore relationships

Linear Temporal Logic

In logic, linear temporal logic or linear-time temporal logic (LTL) is a modaltemporal logic with modalities referring to time.

Use + to expand a branch. Click a topic name to open its summary.