Введение
1 Предварительные сведения о допустимых правилах вывода в нестандартных логиках 19
1.1 Модальные, временные и суперинтуиционистские логики 19
1.2 Семантика Крипке 25
1.3 Допустимые и выводимые правила вывода 32
2 Допустимость правил вывода для некоторого класса логик, не обладающих свойством ветвления 35
2.1 Предварительные сведения 36
2.2 Алгоритмический критерий допустимости правил вывода для некоторого класса .94-логик, не обладающих свойством ветвления 40
3 Допустимость правил вывода для логики с с оператором "завтра" 50
3.1 Предварительные сведения -51
3.2 Свойства логики С 53
3.3 Условие допустимости правил вывода в логике 57
4 Структурно-полные логики 66
4.1 Структурно-полные логики: необходимые предварительные сведения 66
4.2 Описание структурно-полных 5"4-логик ширины 2, порожденных конечным корневым фреймом с двухэлементным первым слоем 71
4.3 О ширине структурно-полных табличных логик -84
Заключение 87
Литература 89
Работы автора по теме диссертации 100
