temporal logic

Noun

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