Об аксиоматике квадратов модальных логик с выделенной диагональю

В работе рассматриваются модальные логики квадратов шкал Крипке с выделенной диагональю. Показано, что многие такие логики, в отличие от обычных двумерных произведений, не могут быть аксиоматизированы формулами с конечным числом переменных. Используемый метод похож на тот, которым был установлен аналогичный результат для произведений модальных логих размерности $\ge3$. В частности, в доказательстве используются обобщенные формулы Салквиста.
Библиография: 11 названий.