Шкатов Д.П.: Модальная логика и модальные фрагменты классической логики
Скачать книгу (размер 687 Kb , формат fb2, страниц 136) Аннотация: Монография посвящена исследованию взаимосвязи между пропозициональными модальны-ми логиками и классическими логиками первого и более высоких порядков. Наряду с известными результатами, такими как разрешимость первопорядкового защищенного фрагмента и сходных фрагментов классических логик, приводятся результаты полученные авто-ром; в частности, доказывается разрешимость модальных логик с…