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