В статье изучается определимость неподвижных точек в модальных логиках. Доказана следующая теорема: наименьшая неподвижная точка оператора Fϕ в конечной транзитивной модели определяется некоторой итерацией позитивной формулы ϕ(p, x1, . . . , xn) с двойными модальностями.
