temporal logic

Short definition from Wiktionary

Noun

A form of symbolic logic used to reason about properties of statements related to order and duration.

We haven’t written up temporal logic yet: Simple and Standard meanings, examples and a quiz.