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

• 作者: 吕建 陈韬略 韩婷婷 颜锋
• 来源期刊: 计算机科学
• 学科: 工学
• 关键词: 移动计算 分布式计算 空间逻辑 可判定性 定义框架
• 年，卷（期）: 2006,（6）
• 页码范围: 7-10
• 页数: 4页
• 分类号: TP3
• 字数: 5667字
• 语种: 中文
• DOI: 10.3969/j.issn.1002-137X.2006.06.002

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	吕建	南京大学计算机软件新技术国家重点实验室	120	2738	23.0	51.0
2	陈韬略	南京大学计算机软件新技术国家重点实验室	18	113	4.0	10.0
3	颜锋	南京大学计算机软件新技术国家重点实验室	5	9	2.0	2.0
4	韩婷婷	南京大学计算机软件新技术国家重点实验室	10	17	2.0	3.0