Аннотация:Исследуется определимость наименьших неподвижных точек во временной логике. Доказывается, что наименьшие неподвижные точки временных позитивных Σ-операторов определимы в транзитивных линейных моделях. Приводятся примеры, показывающие, что наименьшие неподвижные точки временных позитивных операторов могут быть не определимы в классе конечных линейно упорядоченных и классе конечных строго линейно упорядоченных моделей. Кроме того, в модальном случае указываются примеры неопределимых инфляционных точек в классе конечных строго линейно упорядоченных моделей и в классе конечных линейно упорядоченных моделей. URL: http://mi.mathnet.ru/al93