О модальных логиках элементарных классов шкал Крипке

Оглавление
Введение
Краткое содержание диссертации
1 Предварительные сведения из модальной логики
1.1 Синтаксис
1.2 Семан тика Кринке
1.3 Конструкции, сохраняющие истинность .
1.4 Обобщенные шкалы.
1.5 Теоремы Салквиста и Крахта
2 Обобщенные формулы Салквиста
2.1 Регулярные юрмулм
2.2 Безопасные термы.
2.3 Обобщенные формулы Салквиста.
2.4 I упорство
2.5 Обобщенные формулы Крахта
2.5.1 Определения и примеры .
2.5.2 Квазибезопасные выражения.
2.5.3 Доказательство обобщенной теоремы Крахта.
2.6 Неэквивалентность обобщенных формул Крахта стандартным.
3 Формулы, соответствующие диаграммам
3.1 Постановка задачи
3.2 Экзистенциальные диаграммы.
3.3 Неопределимые экзистенциальные диаграммы
3.4 Определимые экзистенциальные диаграммы.
3.5 Достаточное условие модальной определимости для УЗдиаграмм .
4 Двумерные модальные логики с выделенной диагональю.
4.1 Формулировка теоремы .
4.2 Доказательство основной теоремы
Приложение 1. Критерий модальной определимости для УЗдиаграмм
ВВЕДЕНИЕ
Актуальность