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