Terms containing Temporal Logic

Subject	English	Russian
progr.	alternating-time temporal logic	логика альтернированного времени (ssn)
progr.	linear temporal logic	линейная темпоральная логика (сокр. LTL ssn)
progr.	linear temporal logic	темпоральная логика линейного времени (сокр. LTL ssn)
progr.	linear temporal logic	логика линейного времени (ssn)
progr.	real-time temporal logic	темпоральная логика реального времени (ssn)
IT	temporal logic	временная логика
robot.	temporal logic	временная логика (в системе логического управления)
progr.	temporal logic	темпоральная логика (ssn)
AI.	temporal logic	овремёнённая логика (В советской научной литературе вместо термина "временная логика" встречается эквивалентное ему выражение "овременённая логика")
progr.	temporal logic for infinite families	темпоральная логика для бесконечных семейств (ssn)
progr.	temporal logic programming	программирование в терминах темпоральной логики (Alex_Odeychuk)
progr.	temporal logic programming	темпоральное логическое программирование (Alex_Odeychuk)
progr.	temporal logics	темпоральные логики (ssn)