直觉主义计算树逻辑中的安全性和活性

• 作者: 张晋津 鲍秋霜
• 来源期刊: 计算机科学与探索
• 学科: 工学
• 关键词: 直觉主义 计算树逻辑 安全性 活性 分解定理
• 年，卷（期）: 2016,（2）
• 所属期刊栏目: 系统软件与软件工程
• 页码范围: 163-172
• 页数: 10页
• 分类号: TP301
• 字数: 10055字
• 语种: 中文
• DOI: 10.3778/j.issn.1673-9418.1506009

摘要

将Patrick Maier关于直觉主义线性时序逻辑的研究扩展到计算树逻辑中,基于完全树和非完全树构成的集合提出了一种直觉主义解释的计算树逻辑,并在此逻辑框架中研究了安全性和活性及其相关性质.比较了经典计算树逻辑与直觉主义计算树逻辑的表达能力,探究了直觉主义计算树逻辑中安全性和活性在并、交等操作下的封闭性以及与经典计算树逻辑中安全性和活性的关系,并为直觉主义计算树逻辑公式建立了分解定理.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	张晋津	南京审计学院计算机科学与技术系	6	1	1.0	1.0
2	鲍秋霜	南京航空航天大学计算机科学与技术学院	1	1	1.0	1.0