《时态逻辑》PPT课件

- Chapter 6 时态逻辑 - （一）模态逻辑 （1） 基本概念 （2） Kripke结构 （3）模态逻辑的类型 （二）线性时态逻辑