Definify.com

Definition 2024

temporal_logic

temporal logic

English

Noun

temporal logic ‎(countable and uncountable, plural temporal logics)

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