命题线性时序逻辑相关论文
讨论了以基于前缀封闭集合的Heyting代数的直觉解释的线性μ-演算(IμTL)作为描述“假设.保证”的逻辑基础的问题,提出了一个基于IμTL......
定义了一个命题线性时序逻辑的对偶模型的概念.一个公式厂的对偶模型是指,的满足以下条件的两个模型(即状态的ω序列):在每个位置上这两......
线性mu-演算(μTL)是线性时序逻辑(LTL)的不动点扩展.LTL是一个便于规范和论证反应式系统的方法.μTL作为比LTL表达能力更强的逻辑,用LTL......