Catalan Boris Trakhtenbrot Cited by user Ferran Mir on 12 Feb 2023 , també anomenat Boaz Trakhtenbrot, va ser un matemàtic soviètic emigrat a Israel.
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 Citation bot on 01 May 2020 In logic, linear temporal logic or linear-time temporal logic (LTL) is a modal temporal logic with modalities referring to time.
Portuguese Lógica temporal linear Cited by user Willams Clemente on 04 Dec 2016 Na lógica, lógica temporal linear ou linear-tempo lógico temporal (LTL) é um modal da lógica temporal com modalidades referindo-se ao tempo.