Логика

Список источников >Нехудожественная литература >Общественные и гуманитарные науки >Философия >Логика >

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

Автор: Шкатов Д. П.
Год: 2008
Издание: ИФРАН
Страниц: 140
ISBN: 9785954001280
Монография посвящена исследованию взаимосвязи между пропозициональными модальными логиками и классическими логиками первого и более высоких порядков. Наряду с известными результатами, такими как разрешимость первопорядкового защищенного фрагмента и сходных фрагментов классических логик, приводятся результаты полученные автором; в частности, доказывается разрешимость модальных логик с интуиционистской основой и модальностями, возникающими при анализе логик знания с потенциально бесконечным множеством познающих субъектов.
Добавлено: 2017-05-26 13:29:11

Это интересно...

Наши контакты

Рейтинг@Mail.ru

© 2009-2017, Список Литературы