Terms for subject Programming containing Temporal Logic

English	Russian
alternating-time temporal logic	логика альтернированного времени (ssn)
linear temporal logic	линейная темпоральная логика (сокр. LTL ssn)
linear temporal logic	темпоральная логика линейного времени (сокр. LTL ssn)
linear temporal logic	логика линейного времени (ssn)
real-time temporal logic	темпоральная логика реального времени (ssn)
temporal logic	темпоральная логика (ssn)
temporal logic for infinite families	темпоральная логика для бесконечных семейств (ssn)
temporal logic programming	программирование в терминах темпоральной логики (Alex_Odeychuk)
temporal logic programming	темпоральное логическое программирование (Alex_Odeychuk)
temporal logics	темпоральные логики (ssn)