temporal logic
Noun
Meaning
temporal logic (countable and uncountable, plural temporal logics)
English Wikipedia has an article on:temporal logicWikipedia
A form of symbolic logic used to reason about properties of statements related to order and duration.