Метод канонических формул и его применение в модальной логике Захарьящев, Михаил Викторович

Короткий опис

Захарьящев, Михаил Викторович.
Метод канонических формул и его применение в модальной логике : диссертация ... доктора физико-математических наук : 01.01.06. - Москва, 1998. - 251 с.
Оглавление диссертациидоктор физико-математических наук Захарьящев, Михаил Викторович
Содержание
Введение
1 Начальные сведения
1.1 Решетки Extlnt и Ext К 4
1.2 Семантика
1.3 Семантика перевода Орлова-Геделя
1.4 Точки конечной глубины в рафинированных шкалах
1.5 Универсальные шкалы конечного ранга
2 Канонические формулы
2.1 Подредукция
2.2 Конфинальная подредукция и условие закрытых областей
2.3 Характеризация опровергающих шкал
2.4 Канонические формулы для К4 и Int
2.5 Квазинормальные канонические формулы
2.6 Модальные напарники си-логик
2.7 Наибольший напарник Int в ExtS4
3 Применения метода канонических формул
3.1 Cs- и csf-логики. I
3.2 Cs- и csf-логики. II
3.3 Квазинормальные sf- и csf-логики
3.4 За пределами СБТ
3.5 Метод вставки
3.6 Метод удаления
3.7 Логики, содержащие К4.3
4 Модальные логики с интуиционистской базой
4.1 Начала теории двойственности
4.2 Начала теории погружений
4.3 Начала теории полноты
Библиография