10.3969/j.issn.1674-8425(s).2018.01.003
正规多模态逻辑的混合系统
多模态逻辑系统是在经典模态逻辑基础上增加多个模态词而得到的系统,Walter Carnielli 和Claudio Pizzi在专著Modalities and Multimodalities中提出了更为一般化的多模态逻辑系统,证明了这些系统的完全性.混合逻辑系统是在模态逻辑基础上增加名词性词(nominal)作为一类特殊的命题,并增加满足算子等联结词而得到的系统,它有着更丰富的表达力.人们对经典模态逻辑和时态逻辑的混合系统已经作了研究,在此基础上,把混合逻辑的方法推广运用到更一般的正规多模态逻辑中,同时证明它的完全性.
多模态逻辑、混合逻辑、名词性词、完全性
32
B81(逻辑学(论理学))
国家社会科学基金项目"混合时态逻辑及其多模态推广的相关问题研究"13BZX063
2018-06-05(万方平台首次上网日期,不代表论文的发表时间)
共8页
15-22