logika temporalna
Ein Teilbereich der Modallogik, der sich mit der zeitlichen Dimension von Aussagen befasst.
Część modalnej logiki, która zajmuje się czasowym wymiarem zdań.
-
Die Temporallogik wird in der Informatik häufig verwendet.— Logika temporalna jest często wykorzystywana w informatyce.
-
Er schreibt eine Arbeit über die Grundlagen der Temporallogik.— Pisze pracę o podstawach logiki temporalnej.
-
Moderne Verifikationsmethoden basieren oft auf der Temporallogik.— Nowoczesne metody weryfikacji często opierają się na logice temporalnej.