Lineare Temporallogik (LTL)

- Natural & Formal Sciences -
Mathematics & Logic Dictionary
Eine Temporallogik, die über lineare Zeitstrukturen interpretiert wird, in denen Formeln über einzelne unendliche Sequenzen (Zeitlinien) ausgewertet werden; gängige Operatoren sind X (next), F (eventually), G (always) und U (until).