广义可能性计算树逻辑的不动点语义

摘要：

计算树逻辑的不动点语义在其对应的符号模型检测方法中具有重要意义.给出广义可能性计算树逻辑的不动点语义解释,并利用归纳法证明此不动点为最大或最小不动点.结论表明,广义可能性计算树逻辑的不动点语义具有不同于经典情形的形式.

关键词：广义可能性测度、计算树逻辑、不动点语义、模型检测

所属期刊栏目：43

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

资助基金：国家自然科学基金11271237,61228305;高等学校博士学科点专项基金20130202120001

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

页数：共6页

页码：22-27