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

计算机科学 ›› 2006, Vol. 33 ›› Issue (6): 7-10.

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

颜锋陈韬略韩婷婷吕建

南京大学计算机软件新技术国家重点实验室,南京210093

出版日期:2018-11-17 发布日期:2018-11-17
基金资助:
国家重点基础研究发展规划973项目（2002CB312002）;863项目（2002AA116010）;国家自然科学基金（60273034）.

YAN Feng ,CHEN Tao-Lue, HAN Ting-Ting ,LU Jian （State Key Laboratory for Novel Software Teehnology,Nanjing University,Nanjing 210093）

Online:2018-11-17 Published:2018-11-17

摘要/Abstract

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

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

Abstract: 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

Key words: Mobile computation,Distributed computing, Spatial logic, Decidability,Definition framework

颜锋陈韬略韩婷婷吕建. 空间逻辑的一个定义框架及其可判定性[J]. 计算机科学, 2006, 33(6): 7-10. https://doi.org/

YAN Feng ,CHEN Tao-Lue, HAN Ting-Ting ,LU Jian （State Key Laboratory for Novel Software Teehnology,Nanjing University,Nanjing 210093）. [J]. Computer Science, 2006, 33(6): 7-10. https://doi.org/

参考文献

Metrics

Viewed

Full text

Abstract

Cited

Shared

Discussed