Модальные позитивные операторы

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