Back Γραμμική χρονική λογική Greek Linear temporal logic English منطق موقت خطی Persian Logique temporelle linéaire French Logica temporale lineare Italian 線形時相論理 Japanese 선형 시제 논리 Korean Logika LTL Polish Lógica temporal linear Portuguese 线性时序逻辑 Chinese
Lineare temporale Logik (LTL oder Linear temporal logic) ist eine formale modale temporale Logik, die zur Modellprüfung aufgestellt und benutzt wird. In LTL können Formeln über die Zukunft von Pfaden aufgestellt werden, beispielsweise dass eine Bedingung irgendwann wahr wird oder eine Bedingung wahr bleibt, bis eine andere Bedingung erfüllt wird.