中文摘要：

空间逻辑作为一个模态逻辑，能很好地描述分布式系统的行为和空间属性。其中，逻辑公式的有效性、可满足性及模型检测问题的可判定性已经得到广泛的研究。本文即是关于空间逻辑可判定性的一个综述，为此首先提出一个空间逻辑的定义框架，据此可以构造各种空间逻辑，并对它们的可判定性进行考察，从而指出影响空间逻辑的可判定性的关键因素。

英文摘要：

The introduction of spatial logics has been motivated by a recent shift of focus from monolithic concurrent systems towards distributed computing systems. The decidability of validity, satisfiability,and model checking for spa tial logics is an important issue which has been studied deeply. This paper is survey of these results. For this,a defini tion framework of spatial logic is proposed for constructing various logics and the decidability is investigated. And the crux of the matter that influences the decidability of spatial logics is revealed.