Spanish Lógica temporal lineal Cited by user Dipiert on 05 Aug 2020 En lógica, la lógica temporal lineal o la lógica temporal de tiempo lineal (LTL) es una lógica temporal modal con modalidades que se refieren al tiempo.
English Linear temporal logic Cited by user Fschwarzentruber on 13 Dec 2019 In logic, linear temporal logic or linear-time temporal logic (LTL) is a modal temporal logic with modalities referring to time.