正规多模态逻辑的混合系统

摘要

多模态逻辑系统是在经典模态逻辑基础上增加多个模态词而得到的系统,Walter Carnielli和Claudio Pizzi在专著Modalities and Multimodalities中提出了更为一般化的多模态逻辑系统,证明了这些系统的完全性。混合逻辑系统是在模态逻辑基础上增加名词性词（nominal）作为一类特殊的命题,并增加满足算子等联结词而得到的系统,它有着更丰富的表达力。人们对经典模态逻辑和时态逻辑的混合系统已经作了研究,在此基础上,把混合逻辑的方法推广运用到更一般的正规多模态逻辑中,同时证明它的完全性。