赫莱梅德尼克，R.V。 线性和分支时间逻辑的应用。一种测试公式可满足性的算法。 （俄语。英文摘要） Zbl 1032.03510号 维斯特。尼日戈罗德。N.I.Lobachevskogo大学，材料模型。最佳方案。向上。 2000年，第1期，176-191（2000）。 摘要：给出了线性时间逻辑和分支时间逻辑、经典逻辑和人类推理之间的联系，制定了反映这种联系的决策算法，并提出了以时间逻辑公式的形式记录应用程序的方法。 MSC公司： 03B44号 时间逻辑 03B70号 计算机科学中的逻辑 关键词：无功系统;表格法 PDF格式BibTeX公司 XML格式引用 \textit{R.V.Khelemednik}，韦斯特恩。尼日戈罗德。N.I.Lobachevskogo大学，材料模型。最佳方案。向上。2000年，第1期，176--191（2000；Zbl 1032.03510）