Шкатов Д.П.

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

Шкатов Д.П., 2008

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

Шкатов Д.П.

Книги

Художественная литература

Фантастика

Детектив

Детская литература

Юмор. Комиксы.

Кулинария

Эротика и секс (18+)

Семья