temporal logic

listen to the pronunciation of temporal logic
الإنجليزية - الإنجليزية
A form of symbolic logic used to reason about properties of statements related to order and duration
temporal logics
plural form of temporal logic