Применение моделей Крипке к исследованию суперинтуиционистских и модальных логик

ОГЛАВЛЕНИЕ
ВВЕДЕНИЕ
ОБОЗНАЧЕНИЯ.
ГЛАВА I. СТРОЕНИЕ УНИВЕРСАЛЬНЫХ МОДЕЛЕЙ КРИПКЕ
I. Суперинтуиционистские и модальные логики
2. Модели Кршже.
3. Универсальные модели Кринке и овободные алгебры .
4. Универсальные модели для 4 л.
5. Универсальные модели для ДО т
6. Оценки функций роста.
7. Универсальные модели финитно аппроксимируемых логик
ГЛАВА 2. НЕРАЗРЕШИМЫЕ ИСЧИСЛЕНИЯ ВЫСКАЗЫВАНИЙ
8. Кодирование полусистем Туэ .
9. Леммы о подъеме и спуске .
. Доказательство теоремы сведения
ЛИТЕРАТУРА