摘要： 多模态逻辑系统是在经典模态逻辑基础上增加多个模态词而得到的系统，ＷａｌｔｅｒＣａｒｎｉｅｌｌｉ和 ＣｌａｕｄｉｏＰｉｚｚｉ在专著ＭｏｄａｌｉｔｉｅｓａｎｄＭｕｌｔｉｍｏｄａｌｉｔｉｅｓ中提出了更为一般化的多模态逻辑系统，证明了这些系统 的完全性。混合逻辑系统是在模态逻辑基础上增加名词性词（ｎｏｍｉｎａｌ）作为一类特殊的命题，并增加满足算 子等联结词而得到的系统，它有着更丰富的表达力。人们对经典模态逻辑和时态逻辑的混合系统已经作了 研究，在此基础上，把混合逻辑的方法推广运用到更一般的正规多模态逻辑中，同时证明它的完全性。