| 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) |
| robot. | temporal logic | временная логика (в системе логического управления) |
| IT | 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) |