Оглавление
Введение
1 Основные понятия
1.1 Модальные логики.
1.2 Семантика Крипке.
1.3 Канонические шкалы и модели
1.4 Подшкалы и подмодели.
1.5 рморфизмы шкал и моделей
1.6 Свойства бинарных отношений
1.7 Транзитивные шкалы.
2 Аксиоматизация одномодальных геометрических структур
2.1 Релятивистские модальности.
2.2 2плотные транзитивные логики
2.3 Финитная аппроксимируемость 2плотных транзитивных логик
2.4 Удобные шкалы
2.5 Аксиоматизация логики хронологического будущего
2.6 Регионы вЕп
2.7 Насыщенные множества регионов .
2.8 Не конечно аксиоматизируемые логики
3 Логики с универсальной модальностью
3.1 Универсальная модальность
3.2 Перевод
3.3 Антинаправленные шкалы
3.4 Логики геометрических структур с универсальным
отношением.
4 Алгоритмические вопросы
4.1 Контрмодели для 2плотиых логик.
4.2 РЗРАСЕразрешимость 2плотных логик
4.3 РЭРАСЕтрудность 2илотных логик
Заключение
Приложение
Литература
- Київ+380960830922