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