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.