Монография посвящена исследованию взаимосвязи между пропозициональными модальными логиками и классическими логиками первого и более высоких порядков. Наряду с известными результатами, такими как разрешимость первопорядкового защищенного фрагмента и сходных фрагментов классических логик, приводятся результаты полученные автором; в частности, доказывается разрешимость модальных логик с интуиционистской основой и модальностями, возникающими при анализе логик знания с потенциально бесконечным множеством познающих субъектов.
Monografija posvjaschena issledovaniju vzaimosvjazi mezhdu propozitsionalnymi modalnymi logikami i klassicheskimi logikami pervogo i bolee vysokikh porjadkov. Narjadu s izvestnymi rezultatami, takimi kak razreshimost pervoporjadkovogo zaschischennogo fragmenta i skhodnykh fragmentov klassicheskikh logik, privodjatsja rezultaty poluchennye avtorom; v chastnosti, dokazyvaetsja razreshimost modalnykh logik s intuitsionistskoj osnovoj i modalnostjami, voznikajuschimi pri analize logik znanija s potentsialno beskonechnym mnozhestvom poznajuschikh subektov.
