temporal logic

Definition from Wiktionary, the free dictionary
Jump to: navigation, search

English[edit]

Noun[edit]

temporal logic (countable and uncountable, plural temporal logics)

Wikipedia has an article on:

Wikipedia

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