Ваша оценкаМонография посвящена исследованию взаимосвязи между пропозициональными модальными логиками и классическими логиками первого и более высоких порядков. Наряду с известными результатами, такими как разрешимость первопорядкового защищенного фрагмента и сходных фрагментов классических логик, приводятся результаты полученные автором; в частности, доказывается разрешимость модальных логик с интуиционистской основой и модальностями, возникающими при анализе логик знания с потенциально бесконечным множес...
Жанры
Издательство:
ISBN:
978-5-9540-0128-0
Год издания:
2008
Язык:
Русский
Мягкая обложка, 140 стр.
Тираж: 500 экз.
Формат: 60x84/16 (145х200 мм)
Возрастные ограничения:
18+
Рейтинг LiveLib
0
0 оценок
Ваша оценкаРецензии
На эту книгу еще нет ни одной рецензии. Ваша может стать первой.
Цитаты
Еще не добавлена ни одна цитата из книги. Ваша может стать первой.
