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