Temporale Logiken oder
Zeitlogiken sind Erweiterungen der
Logik, durch die zeitliche Abläufe erfasst werden können. Es handelt sich um Anwendungen der
Modallogik, die auf einer Vorher-Nachher-Beziehung zwischen Zeitpunkten basieren. Ob daraus eine dichte oder diskrete Zeitordnung entsteht, ist von der Bestimmung dieser Relation abhängig.