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

赵贤，女，河北雄县人，哲学博士。现为河北大学哲学与社会学学院副院长，哲学系主任，教授，博士研究生导师；兼任中国逻辑学会常务理事，中国逻辑学会现代逻辑专业委员会副主任委员，中国逻辑学会形式逻辑专业委员会副秘书长，河北省自然辩证法研究会副理事长。主要研究领域为现代逻辑、模态逻辑、逻辑哲学。主持国家社会科学基金项目1项、河北省社会科学基金项目2项、河北省普通高等学校青年拔尖人才计划项目1项，在《哲学动态》《逻辑学研究》等期刊发表论文十余篇，获河北省社会科学优秀成果奖二等奖等省部级以上奖励3项。2018年被授予“河北省青年拔尖人才”称号。

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