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