Наименьшие неподвижные точки в логике Гжегорчика и интуиционистской пропозициональной логике

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