Аксиоматизация и полиномиальная разрешимость строго позитивных фрагментов некоторых модальных логикдипломная работа (Бакалавр)