Исследование правил вывода в модальных логиках, расширяющих S4 Кияткин, Владимир Ростиславович

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

Кияткин, Владимир Ростиславович.
Исследование правил вывода в модальных логиках, расширяющих S4 : диссертация ... кандидата физико-математических наук : 01.01.06. - Красноярск, 1999. - 104 с.
Оглавление диссертациикандидат физико-математических наук Кияткин, Владимир Ростиславович
ВВЕДЕНИЕ
Состояние вопроса и задачи исследования.
Обзор содержания диссертации и полученных результатов.
1 СЕМАНТИКА КРИПКЕ И ДОПУСТИМЫЕ
ПРАВИЛА ВЫВОДА
1.1 Необходимые предварительные результаты
1.2 ./У-характеристические модели и допустимые правила вывода.
2 ПРАВИЛА ВЫВОДА С МЕТАПЕРЕМЕННЫМИ И ЛОГИЧЕСКИЕ УРАВНЕНИЯ В ТАБЛИЧНЫХ И ПРЕДТАБЛИЧНЫХ
МОДАЛЬНЫХ ЛОГИКАХ
2.1 Необходимые предварительные сведения.
2.2 Случай табличных логик.
2.3 Случай локально-конечных предтабличных модальных логик.
2.4 Исследование для предтабличной модальной логики РТ.
3 НЕЗАВИСИМЫЕ БАЗИСЫ ДЛЯ ПРАВИЛ, ДОПУСТИМЫХ
В ПРЕДТАБЛИЧНЫХ ЛОГИКАХ
3.1 Необходимые предварительные сведения.
3.2 Существование независимого базиса у предтабличных модальных логик.
3.3 Независимый базис предтабличных суперинтуиционистских логик
4 ФИНИТНАЯ АППРОКСИМИРУЕМОСТЬ ПО
ДОПУСТИМОСТИ
4.1 Необходимые предварительные сведения.
4.2 Отсутствие финитной аппроксимируемости по допустимости для правил вывода.
4.3 Логики финитно аппроксимируемые по допустимости.