Модальная логика и модальные фрагменты классической логики
Монография посвящена исследованию взаимосвязи между пропозициональными модальными логиками и классическими логиками первого и более высоких порядков. Наряду с известными результатами, такими как разрешимость первопорядкового защищенного фрагмента и сходных фрагментов классических логик, приводятся результаты полученные автором; в частности, доказывается разрешимость модальных логик с интуиционистской основой и модальностями, возникающими при анализе логик знания с потенциально бесконечным множеством познающих субъектов.
Автор | Д. П. Шкатов |
Год выпуска | 2008 |
Издатель | ИФРАН |
ISBN | 978-5-9540-0128-0 |
Цена | 301 руб. |