| Subject | English | Russian |
| progr. | computation tree logic | логика деревьев вычислений (сокр. CTL ssn) |
| progr. | computational tree logic | логика ветвящегося времени (ssn) |
| AI. | computational tree logic model | темпоральная модель ветвящегося времени (русс. перевод взят из статьи: Куриленко И.Е., Еремеев А.П. Реализация вывода в темпоральных моделях ветвящегося времени // Известия Академии наук. Теория и системы управления 107-127. Alex_Odeychuk) |
| progr. | tree logic | ветвящаяся логика (ssn) |