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

ОГЛАВЛЕНИЕ
ВВЕДЕНИЕ
Состояние вопроса и задачи исследования.
Обзор содержания диссертации и полученных
результатов
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 Логики финитно аппроксимируемые по допустимости
ЗАКЛЮЧЕНИЕ
БИБЛИОГРАФИЧЕСКИЙ СПИСОК ИСПОЛЬЗОВАННОЙ
ЛИТЕРАТУРЫ
РАБОТЫ АВТОРА ПО ТЕМЕ ДИССЕРТАЦИИ
ВВЕДЕНИЕ
Состояние вопроса и задачи исследования
Актуальность