Diskussion:Lineare temporale Logik

"LTL ist äquivalent zur Prädikatenlogik mit einstelligen Relationssymbolen $(P_{i})_{i\geq 1}$ und der kleiner-Relation ${\text{FO}}[<,(P_{i})_{i\geq 1}]$, wie auch stern-freien regulären Ausdrücken oder deterministischen endlichen Automaten mit einer Schleifenkomplexität von 0."

- die angeblich äquivalente eigenschaft schleifenkomplexität=0 hab ich mal rausgenommen, da zwar gilt schleifenkomplexität=sternhöhe, sich stern-frei aber auf die generalisierte sternhöhe bezieht. ist ja auch klar, da endliche automaten mit schleifenkomplexität=0 nur endlich viele wörter akzeptieren können. (nicht signierter Beitrag von 178.200.47.45 (Diskussion) 13:53, 2. Feb. 2012 (CET))

Worauf bezieht sich linear?

Ich glaube, auf die Zeit, nicht auf die Logik, stimmt's? Also, soll es strenggenommen nicht „linear-temporale Logik“ heißen? (nicht signierter Beitrag von PeterMüllerr (Diskussion | Beiträge) 19:03, 1. Sep. 2021 (CEST))