In logic, linear temporal logic or linear-time temporal logic (LTL) is a modal temporal logic with modalities referring to time.
Lineare temporale Logik (LTL oder Linear temporal logic) ist eine modale temporale Logik mit zeitlichen Modalitäten.