temporal logic

== English == === Noun === temporal logic (countable and uncountable, plural temporal logics) (logic) A form of symbolic logic used to reason about properties of statements related to order and duration. ==== Translations ====