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