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