Temporallogik

- Natural & Formal Sciences -
Mathematics & Logic Dictionary
Ein formales System zur Darstellung von Aussagen über zeitliche Anordnungen und Eigenschaften von Zuständen über Zeitpunkte oder Intervalle hinweg, mit temporalen Operatoren wie 'G' (globally), 'F' (finally), 'X' (next) und 'U' (until).