«Модальная логика и модальные фрагменты классической логики» Д. П. Шкатов Монография посвящена исследованию взаимосвязи между пропозициональными модальными логиками и классическими логиками первого и более высоких порядков. Наряду с известными результатами, такими как разрешимость первопорядкового защищенного фрагмента и сходных фрагментов классических логик, приводятся результаты полученные автором; в частности, доказывается разрешимость модальных логик с интуиционистской основой и модальностями, возникающими при анализе логик знания с потенциально бесконечным множеством познающих субъектов. Это и многое другое вы найдете в книге Модальная логика и модальные фрагменты классической логики (Д. П. Шкатов). Напишите свою рецензию о книге Д. П. Шкатов «Модальная логика и модальные фрагменты классической логики» http://izbe.ru/book/188102-modalnaya-logika-i-modalnye-fragmenty-klassicheskoy-logiki-d-p-shkatov/