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