杨伟余;刘文奇 基于量子逻辑的模糊线性时序逻辑的模型检验。 （中文。英文摘要） 兹比尔1488.68032 模糊系统。数学。 35，第1号，9-21（2021）. 概要：模型检验的主要问题是用定量信息处理系统的验证问题。本文在量子逻辑和时序逻辑相关理论的基础上，介绍了模糊线性时间的可能性理论和可能性测度，研究了模糊时间中线性时序逻辑的模型检验方法。通过引入可能性理论和广义可能性克里普克结构的定义，讨论了广义可能性克里普克结构的模糊线性时间性质，这有利于不确定性现象的研究。 MSC公司： 60年第68季度 规范和验证（程序逻辑、模型检查等） 03B44号 时序逻辑 03B52号 模糊逻辑；模糊逻辑 03G12号机组 量子逻辑 关键词：模型检查;量子逻辑;时序逻辑;可能性理论;广义可能性测度 PDF格式BibTeX公司 XML格式引用 \textit{W.Yang}和\textit{W.Liu}，模糊系统。数学。35，编号1，9--21（2021；Zbl 1488.68032）