直觉线性μ-演算相关论文
讨论了以基于前缀封闭集合的Heyting代数的直觉解释的线性μ-演算（IμTL）作为描述“假设．保证”的逻辑基础的问题，提出了一个基于IμTL......
线性mu-演算（μTL）是线性时序逻辑（LTL）的不动点扩展．LTL是一个便于规范和论证反应式系统的方法．μTL作为比LTL表达能力更强的逻辑，用LTL......
