Модальная логика и модальные фрагменты классической логики
Скачать
86.7%
(Оценок: 2691)
Категория:
Логика
Автор:
Шкатов Д.П.
Издательство::
Институт философии (ИФ) РАН
Год:
2008
Страницы:
136
Формат:
fb2, epub, pdf, txt
Монография посвящена исследованию взаимосвязи между пропозициональными модальны-ми логиками и классическими логиками первого и более высоких порядков. Наряду с известными результатами, такими как разрешимость первопорядкового защищенного фрагмента и сходных фрагментов классических логик, приводятся результаты полученные авто-ром; в частности, доказывается разрешимость модальных логик с интуиционистской основой и модальностями, возникающими при анализе логик знания с потенциально беско-нечным множеством познающих субъектов.