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

• A Definition Framework of Spatial Logic and Decidability