Подмодельные определяющие формулы

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