模态逻辑是现代逻辑研究的重要领域,多模态逻辑则是模态逻辑研究的前沿领域。多模态逻辑是包含两种或两种以上模态算子的模态逻辑系统,且算子之间不可规约,它是模态逻辑的重要组成部分。本书以模态交互作用公理为视角,构建了多模态逻辑一般系统,为形式化研究各种类型的模态提供了一般的逻辑框架;证明了多模态逻辑一般系统的完全性、对应性、可判定性等元逻辑问题的一般性结论;揭示了多模态逻辑的哲学背景及其解题功能,论述了多模态逻辑在哲学中的应用价值。
学术论文"多模态逻辑的研究动因及意义"获河北省第十五届社会科学优秀成果三等奖(排名第一),参与完成项目"达米特与戴维森语言哲学思想比较研究"获河北省第九届社会科学基金项目优秀成果三等奖(排名第二)。主持完成项目"多模态逻辑及其应用功能研究"获保定市第二届哲学社会科学规划课题优秀成果一等奖(排名第一)。