Оглавление
Введение
1 Обзор определений
1.1 Описание языка.
1.2 Аксиомы и логики.
1.3 Топологическая семантика.
1.4 Семантика Крипке.
1.5 Топологические пространства и шкалы Крипке с выделенными точками.
1.6 рморфизмы.
1.7 Некоторые свойства топологических пространств с выделенными точками.
1.8 Свойства шкал Крипке.
1.9 Каноничность аксиом
1. Фильтрация канонической модели
2 Логики некоторых классов топологических пространств
2.1 Логики класса всех пространств и класса всех плотных в себе пространств.
2.2 Логики нульмерных и пространств
3 Логика пространства для п 2
3.1 Аллеи
3.2 Доказательство полноты
4 Логики вещественной прямой и окружности
А Сложность изучавшихся логик
В Сводимость к гибридной логике
ВВЕДЕНИЕ
Актуальность
- Київ+380960830922