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

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