Terms for subject Programming containing linear logic

English	Russian
linear temporal logic	темпоральная логика линейного времени (сокр. LTL ssn)
linear temporal logic	логика линейного времени (ssn)
linear temporal logic	линейная темпоральная логика (сокр. LTL ssn)
linear time logic	логика линейного времени (ssn)
linear-time logic	логика линейного времени (ssn)
logic program example for linear search through lists	пример логической программы для линейного поиска в списке (ssn)