摘要 | 第1-4页 |
Abstract | 第4-5页 |
符号说明 | 第5-6页 |
第一章 引言与预备 | 第6-11页 |
·引言 | 第6-8页 |
·预备知识 | 第8-11页 |
第二章 模糊模态逻辑系统 | 第11-22页 |
·模糊模态算子◇_α和□_β | 第11-15页 |
·含有◇_α和口_(1-α)的模糊模态逻辑系统 | 第15-22页 |
第三章 基本模态逻辑的模糊语义 | 第22-31页 |
·赋值格为[0,1]的模糊模态逻辑 | 第22-23页 |
·赋值格为W_n的模糊模态逻辑及其上的广义模态重言式 | 第23-31页 |
第四章 小结与展望 | 第31-32页 |
参考文献 | 第32-34页 |
致谢 | 第34-35页 |