lógica temporal
Ein Teilbereich der Modallogik, der sich mit der zeitlichen Dimension von Aussagen befasst.
Una rama de la lógica modal que se ocupa de la dimensión temporal de las proposiciones.
-
Die Temporallogik wird in der Informatik häufig verwendet.
-
Er schreibt eine Arbeit über die Grundlagen der Temporallogik.
-
Moderne Verifikationsmethoden basieren oft auf der Temporallogik.