О квадратах модальных логик с дополнительными связками

Дается обзор новых результатов о двумерных модальных логиках специального вида – “квадратах Сегерберга”. Они определяются как обычные квадраты модальных логик с дополнительными связками, которые соответствуют симметрии относительно диагонали и двум проекциям на нее. Для этих логик во многих случаях удается доказать конечную аксиоматизируемость и финитную аппроксимируемость. Строится перевод квадратов Сегерберга в классическую логику предикатов.