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

• 作者: 霍旭
• 来源期刊: 重庆理工大学学报（社会科学版）
• 学科: 哲学
• 关键词: 多模态逻辑 混合逻辑 名词性词 完全性
• 年，卷（期）: 2018,（1）
• 所属期刊栏目: 逻辑与科学方法论
• 页码范围: 15-22
• 页数: 8页
• 分类号: B81
• 字数: 5810字
• 语种: 中文
• DOI: 10.3969/j.issn.1674-8425(s).2018.01.003

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	霍旭	安徽大学数学科学学院	3	2	1.0	1.0