Модальная логика и модальные фрагменты классической логики

• Автор(ы): Д. П. Шкатов
• Язык: Русский
• Размер: 210/150/15 mm
• Издатель: ИФРАН
• Год выхода: 2008
• Оформление: Мягкая обложка
• Количество страниц: 140
• ISBN: 978-5-9540-0128-0

Монография посвящена исследованию взаимосвязи между пропозициональными модальными логиками и классическими логиками первого и более высоких порядков. Наряду с известными результатами, такими как разрешимость первопорядкового защищенного фрагмента и сходных фрагментов классических логик, приводятся результаты полученные автором; в частности, доказывается разрешимость модальных логик с интуиционистской основой и модальностями, возникающими при анализе логик знания с потенциально бесконечным множеством познающих субъектов.