Интерполяция в бесконечнослойных расширениях логики доказуемости

Получены теоремы о характеризации модальных логик $G\gamma$ и $G\delta$ с помощью так называемых $\omega$-линейных и финально-линейных шкал соответственно, доказана разрешимость обеих логик. Показано, что логика $G\gamma$ занимает особое место среди расширений логики доказуемости, а именно, она является наибольшей среди бесконечнослойных расширений логики $G\gamma$ обладающих интерполяционным свойством.