Модальная логика и модальные фрагменты классической логики
|
Автор: Шкатов Д.П.
Жанр: Логика
Издательство: Институт философии (ИФ) РАН
Год: 2008 Количество страниц: 136
Формат:
PDF (6.80 МБ)
Дата загрузки: 15 сентября 20132009-12-07
|
Аннотация
Монография посвящена исследованию взаимосвязи между пропозициональными модальны-ми логиками и классическими логиками первого и более высоких порядков. Наряду с известными результатами, такими как разрешимость первопорядкового защищенного фрагмента и сходных фрагментов классических логик, приводятся результаты полученные авто-ром; в частности, доказывается разрешимость модальных логик с интуиционистской основой и модальностями, возникающими при анализе логик знания с потенциально беско-нечным множеством познающих субъектов.
Скачать с нашего сайта
|
Комментарии
Посетители, находящиеся в группе Гости, не могут оставлять комментарии к данной публикаци.
|
|