О модальных логиках некоторых геометрических структур

Изучаются модальные логики отношений включения и компактного включения на множествах регионов в действительном пространстве $\mathbb R^n$. Для ряда случаев найдена конечная полная модальная аксиоматизация, описанные логики являются финитно аппроксимируемыми и PSPACE-полными.