temporal logic
Appearance
English
[edit]Noun
[edit]temporal logic (countable and uncountable, plural temporal logics)
- A form of symbolic logic used to reason about properties of statements related to order and duration.
temporal logic (countable and uncountable, plural temporal logics)