LTL

linear-time temporal logic

Also known as:

• linear temporal logic

summary

(nil)

results

• First defined in [1]

references (chronological order)

1. The temporal logic of programs (1977)
2. The Complexity of Propositional Linear Temporal Logics (1985)