Struktura czasu w świecie rzeczywistym jest inna, ale np. jest nią struktura wydarzeń zachodzących wewnątrz procesora – każde wydarzenie potrafimy przyporządkować konkretnemu wskazaniu zegara. Jeśli struktura czasu jest nam właściwie obojętna, możemy traktować ją jako dyskretną, nawet jeśli nie ma ona takiego charakteru, gdyż upraszcza to wiele obliczeń.
W logikach z czasem dyskretnym można zdefiniować operator oznaczający, że nastąpi w następnej chwili. oznacza więc, że nastąpi za 2 chwile, za 5 chwil itd.
Przykłady twierdzeń z użyciem – zawsze, jeśli w pewnej chwili zachodzi to w następnej nie będzie zachodziło, – kiedyś będzie prawdziwe, a potem przestanie, równoważne – kiedyś będzie prawdziwe, a w następnej chwili będzie fałszywe (niemożliwe do wyrażenia bez ).
Logika LTL
Do najprostszych logik temporalnych należy linear temporal logic (liniowa logika temporalna), używająca dyskretnego i liniowego modelu czasu.