模態邏輯是現代邏輯研究的重要領域，多模態邏輯則是模態邏輯研究的前沿領域。多模態邏輯是包含兩種或兩種以上模態算子的模態邏輯系統，且算子之間不可規約，它是模態邏輯的重要組成部分。本書以模態交互作用公理為視角，構建了多模態邏輯一般系統，為形式化研究各種類型的模態提供了一般的邏輯框架；證明了多模態邏輯一般系統的完全性、對應性、可判定性等元邏輯問題的一般性結論；揭示了多模態邏輯的哲學背景及其解題功能，論述了多模態邏輯在哲學中的應用價值。
學術論文"多模態邏輯的研究動因及意義"獲河北省第十五屆社會科學優秀成果三等獎（排名第一），參與完成項目"達米特與戴維森語言哲學思想比較研究"獲河北省第九屆社會科學基金項目優秀成果三等獎（排名第二）。主持完成項目"多模態邏輯及其應用功能研究"獲保定市第二屆哲學社會科學規劃課題優秀成果一等獎（排名第一）。
新書資訊