| 空间逻辑的一个定义框架及其可判定性 |
| |
| 引用本文： | 颜锋,陈韬略,韩婷婷,吕建.空间逻辑的一个定义框架及其可判定性[J].计算机科学,2006,33(6):7-10. |
| |
| 作者姓名： | 颜锋 陈韬略 韩婷婷 吕建 |
| |
| 作者单位： | 南京大学计算机软件新技术国家重点实验室,南京210093 |
| |
| 基金项目： | 国家重点基础研究发展计划(973计划);国家高技术研究发展计划(863计划);国家自然科学基金 |
| |
| 摘 要： | 空间逻辑作为一个模态逻辑，能很好地描述分布式系统的行为和空间属性。其中，逻辑公式的有效性、可满足性及模型检测问题的可判定性已经得到广泛的研究。本文即是关于空间逻辑可判定性的一个综述，为此首先提出一个空间逻辑的定义框架，据此可以构造各种空间逻辑，并对它们的可判定性进行考察，从而指出影响空间逻辑的可判定性的关键因素。
|
| 关 键 词： | 移动计算 分布式计算 空间逻辑 可判定性 定义框架 |
A Definition Framework of Spatial Logic and Decidability |
| |
| YAN Feng,CHEN Tao-Lue,HAN Ting-Ting,LU Jian.A Definition Framework of Spatial Logic and Decidability[J].Computer Science,2006,33(6):7-10. |
| |
| Authors: | YAN Feng CHEN Tao-Lue HAN Ting-Ting LU Jian |
| |
| Affiliation: | State Key Laboratory for Novel Software Teehnology,Nanjing University,Nanjing 210093 |
| |
| 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 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. |
| |
| Keywords: | Mobile computation Distributed computing Spatial logic Decidability Definition framework |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
点击此处可从《计算机科学》下载全文 |
