temporal logic en · NOUN
Meanings
- (countable, uncountable) A form of symbolic logic used to reason about properties of statements related to order and duration.
Forms
| Spelling | Features | Labels | Source |
|---|---|---|---|
| temporal logics | Number=Plur | lexicographic |
Translations (1)
bg темпорална логика (form of symbolic logic)