temporal logic

English

Noun

temporal logic (countable and uncountable, plural temporal logics)

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

Translations

This article is issued from Wiktionary. The text is available under Creative Commons Attribution-Share Alike 4.0 unless otherwise noted. Additional terms may apply for the media files.