temporal logic
Ein Teilbereich der Modallogik, der sich mit der zeitlichen Dimension von Aussagen befasst.
A branch of modal logic that deals with the temporal dimension of propositions.
-
Die Temporallogik wird in der Informatik häufig verwendet.— Temporal logic is frequently used in computer science.
-
Er schreibt eine Arbeit über die Grundlagen der Temporallogik.— He is writing a paper on the foundations of temporal logic.
-
Moderne Verifikationsmethoden basieren oft auf der Temporallogik.— Modern verification methods are often based on temporal logic.
Синонимы
Zeitlogik