Мардаев, Сергей Ильич
(Новосибирский государственный университет, 2009)
В статье изучается определимость неподвижных точек в модальных логиках. Доказана следующая теорема: наименьшая неподвижная точка оператора Fϕ в конечной транзитивной модели определяется некоторой итерацией позитивной формулы ...