Введение
1 Исходные определения и факты 13
1.1 Нормальные и квазинормальные модальные логики 13
1.2 Выводимость, аксиоматизируемость, независимость 17
1.3 Обобщенные рафинированные шкалы, семантическое задание модальных логик 18
1.4 Логики, не имеющие независимой аксиоматизации 21
2 Некоторые вспомогательные результаты 24
2.1 Некоторые синтаксические аспекты независимой аксиоматизируемости 24
2.2 Конечные множества в рафинированных шкалах 30
2 3 Множества конечной иррефлексивной глубины 33
2 4 Семантические эквиваленты некоторых формул 38
2.5 О свойствах редукции 48
3 Расширения логики Гёделя-Лёба, не имеющие независимой аксиоматизации 53
3.1 Об интервалах логик, верхняя граница которых не имеет непосредственных предшественников 54
3.2 Счётное множество допускающих нормализацию квазинормальных логик, не имеющих независимой аксиоматизации 58
3.3 Счетное множество существенно квазинормальных логик без независимой аксиоматизации 67
3.4 Непосредственные предшественники логик без независимой аксиоматизации 77
Библиография 78
