Неподвижные точки во временных моделях

Исследуется определимость наименьших неподвижных точек во временной логике. Доказывается, что наименьшие неподвижные точки временных позитивных $\Sigma$-операторов определимы в транзитивных линейных моделях. Приводятся примеры, показывающие, что наименьшие неподвижные точки временных позитивных операторов могут быть не определимы в классе конечных линейно упорядоченных и классе конечных строго линейно упорядоченных моделей. Кроме того, в модальном случае указываются примеры неопределимых инфляционных точек в классе конечных строго линейно упорядоченных моделей и в классе конечных линейно упорядоченных моделей.