| 摘要 | 第1-5页 |
| ABSTRACT | 第5-8页 |
| 第一章 绪论 | 第8-12页 |
| ·余代数与余代数逻辑 | 第8-11页 |
| ·本文研究内容与全文结构 | 第11-12页 |
| 第二章 基本概念 | 第12-18页 |
| ·余代数模态逻辑 | 第12-13页 |
| ·余代数 | 第13-14页 |
| ·模态逻辑的余代数语义 | 第14-16页 |
| ·斯通对偶 | 第16-18页 |
| 第三章 Rank-1 的模态逻辑的余代数语义 | 第18-31页 |
| ·逻辑的函子表示 | 第18-21页 |
| ·Rank-1 逻辑的余代数模型 | 第21-26页 |
| ·等价性 | 第26-30页 |
| ·小结 | 第30-31页 |
| 第四章 余代数模态逻辑的 Rank-1 可公理化性 | 第31-38页 |
| ·一步可靠性 | 第31-34页 |
| ·一步完备性 | 第34-37页 |
| ·小结 | 第37-38页 |
| 第五章 模态词带布尔结构的余代数模态逻辑 | 第38-49页 |
| ·布尔余代数模态逻辑 | 第38-40页 |
| ·布尔余代数模态逻辑的公理化 | 第40-48页 |
| ·小结 | 第48-49页 |
| 第六章 全文总结 | 第49-50页 |
| 参考文献 | 第50-53页 |
| 致谢 | 第53-54页 |
| 在学期间的研究成果及发表的学术论文 | 第54页 |