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

摘要：

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

关键词：直觉主义、计算树逻辑、安全性、活性、分解定理

所属期刊栏目：10

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

资助基金：The National Natural Science Foundations of China under Grant Nos.11426136,60973045;the Natural Science Foundation of Jiangsu Higher Education Institutions under Grant No.13KJB520012

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

页数：共10页

页码：163-172