Континуум нормальных расширений модальной логики доказуемости с интерполяционным свойством. Л.Л. Максимовa (1989) Sibirskij matematiceskij zurnal