Определимость наименьших неподвижных точек

Исследуются наименьшие неподвижные точки в модальной логике. Вводится класс моделей Крипке и доказывается, что наименьшие неподвижные точки позитивных операторов определимы в моделях этого класса. Данный класс является наиболее широким из известных, в котором наименьшие неподвижные точки позитивных операторов определимы.