Считающие модальные операторы и неподвижные точки

В теории модальных логик имеется известная теорема о неподвижной точке. В статье эта теорема обобщена с мономодального случая на случай считающих модальностей. Доказана теорема
Теорема. Для любого считающего модализованного оператора $F_\varphi$ его неподвижная точка в любой строго частично упорядоченной модели Крипке с обрывом возрастающих цепей существует и единственна и, кроме того, существует считающая формула $\omega$, определяющая эту точку во всех таких моделях. Формула $\omega$ содержит только те считающие связки, которые входят в $\varphi$.