目录 1
第一章 导论 1
§1.1非标准逻辑 1
§1.2计算机科学中的非标准逻辑 2
§1.3人工智能中的非标准逻辑 3
§1.4经典一阶逻辑 4
第二章 模态词与动态逻辑 9
§2.1模态逻辑 9
§2.2模态逻辑的计算解释 13
§2.3一个简单的程序设计语言 14
§2.4动态逻辑 16
§2.5知道和动作的理论 20
第三章 3－值逻辑及其计算解释 25
§3.1引言 25
§3.2三种3－值逻辑 25
§3.3单调性 31
§3.4严格性 35
第四章 直觉主义逻辑：Martin-L？f的类型理论 38
§4.1直觉主义 38
§4.2逻辑常元的直觉主义解释 40
§4.3类型理论的语言 44
§4.4判断与推理规则 46
§4.5类型理论作为程序设计语言 49
第五章 面向非单调推理的语义理论 56
§5.1非单调推理 56
§5.2非单调模态理论 59
§5.3非单调逻辑的直觉基础 63
§5.4部分模型与不完全信息 67
§5.5自动认知逻辑（AutoepistemicLogic） 72
第六章 人工智能中的时态逻辑 78
§6.1引言 78
§6.2时态逻辑 80
§6.3两个专题研究 85
§6.4事件与时刻 91
§6.5时态逻辑，规范说明和验证 94
第七章 模糊逻辑与专家系统 106
§7.1模糊化 106
§7.2模糊集合论 107
§7.3多值逻辑 109
§7.4模糊逻辑 111
§7.5专家系统中的模糊逻辑与模糊集合论 116
第八章 其它逻辑及未来的前景 122
§8.1其它逻辑 122
§8.2前景 124