Abstract:
В теории модальных логик имеется известная теорема о неподвижной точке.
В статье эта теорема обобщена с мономодального случая на случай считающих модальностей.
Доказана теорема:
Для любого считающего модализованного оператора Fϕ его неподвижная
точка в любой строго частично упорядоченной модели Крипке с обрывом возрастающих цепей существует и единственна и, кроме того, существует считающая формула ω, определяющая эту точку во всех таких моделях. Формула ω содержит только те считающие связки, которые входят в ϕ.