Definify.com

Definition 2025


temporal_logic

temporal logic

English

Noun

temporal logic (countable and uncountable, plural temporal logics)

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