E.V.库兹曼。;新墨西哥州希洛夫。;V.A.索科洛夫。 模型检验\（\mu\）-结构良好的过渡系统中的微积分。 （英语） Zbl 1090.68068号 Jt.（约）。牛市。NCC IIS，序列号。计算。科学。 20, 49-59 (2004). 摘要：研究了结构良好的多作用转移系统中不动点逻辑的模型检验问题。主要结果如下：命题演算的析取公式的模型检验问题是可判定的D.科赞【Theor.Comput.Sci.27，333–354（1983；Zbl 0553.03007号)]在结构良好的转换系统中，命题变量由向上锥解释。还讨论了Fisher-Servi直觉模态逻辑经最小不动点扩展后的模型检验问题。 理学硕士： 60年第68季度 规范和验证（程序逻辑、模型检查等） 68问题85 并发和分布式计算的模型和方法（过程代数、互模拟、转换网等） 2005年第68季度 计算模型（图灵机等）（MSC2010） 关键词：有序转移系统;正公式;命题常数 引文：Zbl 0553.03007号 PDF格式BibTeX公司 XML格式引用 \textit{E.V.Kuz'min}等人，Jt。牛市。NCC IIS，序列号。计算。科学。20、49-59（2004年；Zbl 1090.68068）