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

• 作者: 张兴兴 李永明 邓楠轶
• 来源期刊: 陕西师范大学学报（自然科学版）
• 学科: 工学
• 关键词: 广义可能性测度 计算树逻辑 不动点语义 模型检测
• 年，卷（期）: 2015,（4）
• 所属期刊栏目: 数学与计算机科学
• 页码范围: 22-27
• 页数: 6页
• 分类号: TP301.2
• 字数: 5128字
• 语种: 中文
• DOI: 10.15983/j.cnki.jsnu.2015.04.145

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	李永明	陕西师范大学计算机科学学院	165	505	12.0	16.0
2	张兴兴	陕西师范大学计算机科学学院	2	1	1.0	1.0
3	邓楠轶	陕西师范大学计算机科学学院	2	1	1.0	1.0