（命题） 模态逻辑与模型检测.PDF

(命题) 模态逻辑与模型检测 哲学数学计算机中的逻辑课程(2016 年秋) 王彦晶 北大哲学系 2016 年12 月1 日(国际艾滋病日) 1 处理知识变化 时态逻辑和模型检测 2 处理知识变化 回顾: 知识逻辑(epistemiclogic) 推理知识(与信念) 的模态逻辑[vonWright1951,Hintikka1962]. • 语言: “主体i 知道(knowsthat) φ”( φ).i • 模型里对每个i 有个关系R.i 4 回顾: 知识逻辑(epistemiclogic) 推理知识(与信念) 的模态逻辑[vonWright1951,Hintikka1962]. • 语言: “主体i 知道(knowsthat) φ”( φ).i