Ein auf die Arbeiten von Arthur Norman Prior (* 1914, † 1969), Nicholas Rescher und Alasdair Urquhart (* 1945) zurückgehendes Gebiet der philosophischen Logik, in dem temporale Modalitäten, der Faktor »Zeit«, Gegenstand formallogischer Betrachtung und Systematisierung bilden. Zu den möglichen Anwendungsbereichen der Temporallogik zählen die Sprachphilosophie und Linguistik (Logik der Zeitformen), Planungstheorie und