中文摘要 | 第3-4页 |
Abstract | 第4-5页 |
目录 | 第6-7页 |
引言 | 第7-8页 |
第一章 非偶然模态的逻辑性质研究 | 第8-20页 |
第一节 非偶然模态的逻辑含义 | 第8-12页 |
第二节 非偶然算子和必然算子的交互定义 | 第12-20页 |
第二章 极小非偶然模态逻辑系统研究 | 第20-40页 |
第一节 极小非偶然逻辑系统NCK | 第20-27页 |
第二节 NCK的可靠性和完全性研究 | 第27-40页 |
第三章 非偶然模态逻辑的应用:分歧逻辑系统的构建 | 第40-54页 |
第一节 信念分歧逻辑系统BD | 第40-49页 |
第二节 BD元性质的分析 | 第49-54页 |
结语 | 第54-55页 |
参考文献 | 第55-57页 |
后记 | 第57-59页 |