A Definition Framework of Spatial Logic and Decidability

• 空间逻辑的一个定义框架及其可判定性