目录 1
第0章 预备知识 1
§1 集合论初步 2
§2 句子逻辑初步 13
§3 谓词逻辑初步 23
第1章 一般缺省逻辑 36
§1 经典句子逻辑中的单调推理规则 37
§2 缺省推理与缺省理论的基本性质 45
§3 缺省理论的扩张 55
§4 缺省规则的良序化 86
§5 弱扩张与部分扩张 102
§6 量化逻辑 117
第2章 子缺省逻辑 125
§1 正规缺省逻辑 126
§2 半正规缺省逻辑 159
第3章 缺省逻辑的变种（上） 175
§1 正当缺省逻辑 176
§2 累积缺省逻辑 210
§3 析取缺省逻辑 226
第4章 缺省逻辑的变种（下） 233
§1 优先缺省逻辑 234
§2 约束缺省逻辑 247
§3 合理缺省逻辑 266
第5章 模态逻辑基础与稳定理论 283
§1 模态逻辑基础 284
§2 稳定理论 319
第6章 模态系统的膨胀理论 335
§1 依赖语境的证明 336
§2 S-膨胀及其基本性质 339
§3 极小模型语义 347
§4 相对反思的一致性 362
§5 S-膨胀的再认识 373
第7章 几个重要的非单调模态逻辑 382
§1 非单调逻辑N 383
§2 非单调逻辑KD45和Sw5 391
§3 自识逻辑 407
§4 与单调模态逻辑的对应 415
§5 对反思的限制 432
§6 与缺省逻辑的互译 442
第8章 限定逻辑 456
§0 经典二阶逻辑 457
§1 直观思想 469
§2 谓词限定逻辑 475
§3 公式限定逻辑 490
§4 二阶限定逻辑 495
§5 非递归的限定逻辑 513
§6 个体域限定逻辑 517
§7 逐点限定逻辑 524
参考文献 537
后记 550