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

摘要：

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

关键词：移动计算、分布式计算、空间逻辑、可判定性、定义框架

所属期刊栏目：33

分类号：TP3(计算技术、计算机技术)

资助基金：国家重点基础研究发展计划973计划2002CB312002;国家高技术研究发展计划863计划2002AA116010;国家自然科学基金60273034

在线出版日期：2006-09-25（万方平台首次上网日期，不代表论文的发表时间）

页数：共4页

页码：7-10