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

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

计算机科学与探索杂志要求:

{1}正文：论文篇幅（包括摘要、图、表、参考文献）。应包括研究背景、方法、结果、结论或讨论等几部分内容。

{2}作者应保证稿件内容的稳定性。稿件评审期间，除评审意见对稿件提出修改要求外，不接受作者自行对稿件进行的修改。

{3}来稿一律文责自负，依照《著作权法》，本刊可对来稿做文字修改、删减，凡有涉及原意的修改则提请作者考虑。

{4}题目简洁明了，字数一般不超过20字。

{5}每篇文章都需要有投稿作者和通讯作者，可以由同一人担任。如果是学生，通讯作者应该是指导教师。

注：因版权方要求，不能公开全文，如需全文，请咨询杂志社