Jump to content

temporal logic

From Wiktionary, the free dictionary

English

[edit]

Noun

[edit]

temporal logic (countable and uncountable, plural temporal logics)

English Wikipedia has an article on:
Wikipedia
  1. A form of symbolic logic used to reason about properties of statements related to order and duration.