正规多模态逻辑因其强大的刻画能力及解题功能，一直处于多模态逻辑研究的主体地位。本书从“模态算子交互作用公理模式”这一崭新视角出发，系统研究了正规多模态逻辑的一般系统及其在哲学中的应用。主要包括：多模态逻辑的研究动因和研究现状、正规多模态逻辑的形式系统和语义、正规多模态逻辑系统的元理论以及多模态逻辑在哲学研究中的工具性作用。 本书可供逻辑学、哲学和计算机科学等相关专业的学者和学生阅读。

前言
第一章 导论
第一节 多模态逻辑概述
第二节 多模态逻辑的主要研究内容
第三节 多模态逻辑的研究现状
第四节 本书结构与主要工作
第二章 正规多模态逻辑的形式系统
第一节 多模态语言
第二节 公理系统和公理模式
第三节 多模态逻辑的公理化与可分离性
第三章 正规多模态逻辑的语义
第一节 语义基础——可能世界语义学
第二节 语义工具——二元关系理论
第三节 多模态逻辑的框架及模型
第四章 正规多模态逻辑的对应性
第一节 对应问题概述
第二节 正规多模态逻辑系统的对应性
第三节 关系方程表述的对应性
第五章 正规多模态逻辑的决定性
第一节 决定性问题概述
第二节 典范多关系模型
第三节 Sahlqvist系统及其特例的决定性
第四节 基于决定性的多模态逻辑系统的分离标准
第六章 正规多模态逻辑的可判定性
第一节 可判定性问题概述
第二节 过滤
第三节 基于有穷模型性质的可判定性
第七章 正规多模态逻辑的哲学应用
第一节 哲学概念的相互定义
第二节 哲学概念的相互作用
第三节 哲学讨论中的多模态逻辑系统
参考文献