嵌套谓词等式系相关论文
模态图是谓词(演算的一种有效的图形表示形式.证明了谓词(演算和模态图的语义一致性,详细讨论了谓词(演算公式、嵌套谓词等式系和......
首次将嵌套谓词等式系应用到带递归的谓词界程逻辑模型检测中，提出了第1个时间复杂性与逻辑公式的交错嵌套深度呈指数关系的局部模......
基于μ-演算的一阶谓词界程逻辑,用谓词变量构造不动点公式,方便描述闭环系统的性质,公式语义简洁.该逻辑在有限控制移动界程上的......
