作者：李健模型检测时间逻辑可判定性模态逻辑
摘要：模型检测是逻辑学和计算机科学中的一个重要研究领域,作为模态逻辑的一个重要分支时间逻辑,它的繁荣发展就出现在这一领域。模型检测是关于时间逻辑判定问题的研究,其研究的两类实体：一是关于刻画程序计算性质的逻辑公式,二是用来刻画程序的模型,模型检测的任务就是要校准这两种不同形式的信息——公式和模型——是否相一致。
注：因版权方要求，不能公开全文，如需全文，请咨询杂志社
《贵州工程应用技术学院学报》（CN：52-5036/Z）是一本有较高学术价值的大型双月刊，自创刊以来，选题新奇而不失报道广度，服务大众而不失理论高度。颇受业界和广大读者的关注和好评。 《贵州工程应用技术学院学报》通过多年的办刊实践，形成了地方性、师范性和学术性并重的特色，尤其是地方性特色，颇受各界好评。
杂志详情
