| 内容摘要 | 第4-6页 |
| ABSTRACT | 第6-7页 |
| 第一章 绪论 | 第10-44页 |
| 第一节 多模态逻辑的研究背景及意义 | 第10-17页 |
| 一、多模态逻辑的产生背景及研究动因 | 第10-15页 |
| 二、多模态逻辑的研究意义 | 第15-17页 |
| 第二节 多模态逻辑的主要研究内容 | 第17-26页 |
| 一、相关语形问题 | 第17-22页 |
| 二、相关语义问题 | 第22-26页 |
| 第三节 多模态逻辑的研究现状及文献综述 | 第26-40页 |
| 一、同质多模态逻辑研究 | 第27-32页 |
| 二、异质多模态逻辑研究 | 第32-36页 |
| 三、其它多模态逻辑研究 | 第36-40页 |
| 第四节 本文结构与主要工作 | 第40-44页 |
| 一、本文的结构 | 第40-42页 |
| 二、本文的主要工作 | 第42-44页 |
| 第二章 正规多模态逻辑的语形 | 第44-73页 |
| 第一节 多模态逻辑的语言 | 第44-50页 |
| 一、多模态的初始符号 | 第44-46页 |
| 二、多模态算子的性质及运算 | 第46-50页 |
| 第二节 多模态逻辑的正规系统 | 第50-65页 |
| 一、正规多模态系统的定义及表述 | 第50-52页 |
| 二、具体的模态交互作用公理模式 | 第52-57页 |
| 三、一般模态交互作用公理模式 | 第57-65页 |
| 第三节 多模态逻辑的公理化问题 | 第65-73页 |
| 一、多模态逻辑的子系统 | 第66-67页 |
| 二、多模态逻辑系统的公理化与分离 | 第67-73页 |
| 第三章 正规多模态逻辑的语义 | 第73-96页 |
| 第一节 多模态逻辑的语义基础 | 第73-81页 |
| 一、克里普克语义学及真值集合 | 第73-75页 |
| 二、多模态系统的极大一致集与一致性 | 第75-79页 |
| 三、多模态系统的元性质 | 第79-81页 |
| 第二节 多模态逻辑的语义工具——二元关系理论 | 第81-87页 |
| 一、二元关系的基本运算 | 第82-83页 |
| 二、二元关系的其它运算 | 第83-87页 |
| 三、二元关系的性质 | 第87页 |
| 第三节 多模态逻辑的框架及模型 | 第87-96页 |
| 一、多关系框架 | 第87-90页 |
| 二、多关系模型 | 第90-96页 |
| 第四章 正规多模态逻辑的对应性 | 第96-114页 |
| 第一节 对应性问题概述 | 第96-100页 |
| 一、何谓模态逻辑的对应性问题 | 第96-98页 |
| 二、模态公式的一阶、二阶语言转述 | 第98-100页 |
| 第二节 正规多模态系统的对应性 | 第100-107页 |
| 一、G(a,b,φ)与G(a,b,c,d)公理模式的对应性 | 第100-104页 |
| 二、G(a,b,^)~n与Sahlqvist公理模式的对应性 | 第104-107页 |
| 第三节 关系方程表述的对应性 | 第107-114页 |
| 一、表述工具——基于二元关系的函项F~φ | 第107-110页 |
| 二、G(a,b,^)~n公理模式及其特例的对应性 | 第110-114页 |
| 第五章 正规多模态逻辑的决定性及可判定性 | 第114-145页 |
| 第一节 正规多模态系统的决定性 | 第114-131页 |
| 一、何谓模态逻辑的决定性问题 | 第114-117页 |
| 二、多关系典范模型 | 第117-120页 |
| 三、Sahlqvist系统及其特例的决定性 | 第120-129页 |
| 四、基于决定性的多模态系统的分离标准 | 第129-131页 |
| 第二节 正规多模态系统的可判定性 | 第131-145页 |
| 一、过滤 | 第133-140页 |
| 二、基于有穷模型性的可判定性 | 第140-142页 |
| 三、对可判定性结论的反思 | 第142-145页 |
| 结语 | 第145-147页 |
| 参考文献 | 第147-160页 |
| 致谢 | 第160-161页 |