Temporal logics are traditionally interpreted in terms of Kripke structures.
Temporálne logiky sa zvyčajne interpretujú v zmysle Kripkeho štruktúr.