logique temporelle
Ein Teilbereich der Modallogik, der sich mit der zeitlichen Dimension von Aussagen befasst.
Une sous-branche de la logique modale qui traite de la dimension temporelle des énoncés.
-
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.