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.
This article is issued from Wiktionary. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.