temporal logic
noun1
Human sciences, Logic, Mathematics, Philosophy, Sciences A form of symbolic logic used to reason about properties of statements related to order and duration.
Entry derived from the Wiktionary, under licence CC BY-SA 4.0 — list of authors.