数理逻辑之 时态逻辑

  前面说了谓词逻辑。实际上谓词逻辑还需要了解的有谓词逻辑的语义推导和谓词逻辑的完备性。不过这一块的概念和思想都很复杂和繁冗，本系列略去。   基于模型是和基于证明相对的。前面我们一直在使用证明，好像看起来还不错。不过在基于证明的处理中，系统描述是一组（适当的逻辑中的）公式Γ，而规范是另一个公式φ。验证方法是试图找到Γ├φ的证明。这需要指导和专业知识。 在基于模型的处理中，系统由适当逻辑的模型M表

>>阅读原文<<