Неразрешимые свойства расширений логики доказуемости. II

Указывается, как следует изменить конструкцию доказательств из предыдущей статьи автора (Алгебра и логика, 29, № 3 (1990), 350–367), чтобы доказать неразрешимость следующих свойств: полноту по Крипке нормальных расширений $GL$, полноту относительно $\omega$-шкал расширений $S=GL+\square p\supset p$, свойство “быть модальным напарником интуиционистской логики” для расширений $S$, нормальность расширений $GL$, конечную аксиоматизируемость расширений $GL$, полноту по Холдену. Кроме того, доказывается континуальность множества максимальных модальных напарников интуиционистской логики в расширениях $S$.