第四章 时态逻辑时态逻辑引入命题逻辑和谓词逻辑表达的可能性真和假不能表达的可能性必然为真知道为真将来为真相信为真例n奥巴马是美国总统n太阳系有九大行星n27的立方根是3模态逻辑本章内容n模态逻辑n时态逻辑命题线性时态逻辑一阶线性时态逻辑计算树逻辑（CTL，CTL*）模态逻辑相关概念模态（Modal）谓词逻辑的扩展形式。基于命题逻辑的扩展称为模态命题逻辑，基于一阶谓词逻辑的扩展称为模态一阶逻辑。特点是通过引入“可能”和“必然”两个模态词，从而能够对可能世界中的命题进行描述和演算。模态词必然（）；可能（）例如,对于命题P:火星上有生命，P：火星上必然有生命P：火星上可能有生命；模态逻辑公式原子命题是模态逻辑公式；如果A是模态逻辑公式。那么A和A是模态逻辑公式；如果A,B是模态逻辑合适公式，那么（A），（AB），（AB），AB），（AB）是模态逻辑公式；当且仅当有限次地使用（1）（2）（3）所组成的符号串是模态逻辑公式。考察（1)AA 必然A真则A真；AA A真则可能A真；AA 必然A真则可能A真；AA 必然A真当且仅当不可能A；AA 可能A当且仅当并非必然 A；AA 可能A或者可能A；考察
