【摘 要】
：
多模态逻辑系统是在经典模态逻辑基础上增加多个模态词而得到的系统,Walter Carnielli和Claudio Pizzi在专著Modalities and Multimodalities中提出了更为一般化的多模态逻辑
【基金项目】
：
国家社会科学基金项目“混合时态逻辑及其多模态推广的相关问题研究”（13BZX063）
论文部分内容阅读
多模态逻辑系统是在经典模态逻辑基础上增加多个模态词而得到的系统,Walter Carnielli和Claudio Pizzi在专著Modalities and Multimodalities中提出了更为一般化的多模态逻辑系统,证明了这些系统的完全性。混合逻辑系统是在模态逻辑基础上增加名词性词（nominal）作为一类特殊的命题,并增加满足算子等联结词而得到的系统,它有着更丰富的表达力。人们对经典模态逻辑和时态逻辑的混合系统已经作了研究,在此基础上,把混合逻辑的方法推广运用到更一般的正规多模态逻辑中,同时证
其他文献
中国《海洋基本法》的核心功能主要集中于为实现海洋强国战略服务、为维护中国海洋权益服务、为统摄海洋法制体系服务以及为宣扬国家海洋观念服务4个方面。虽然当前国际上制
设E是Banach空间,本文在空间C[I,E]中给出了若干新的非连续增算子不动点定理,并且统一、改善和推广了许多已知结果.
杂交水稻盘育抛秧栽培方式可以提高秧苗素质.大田抛秧在600盘/hm2密度下有较好的生物学性状和最高产量.与传统育秧移栽方式比,产量提高11.35%."汕优63"的6年平均产量达7 499.
从理论内涵、行业范畴、升级机理3个方面,构建世界级智能制造业集群的理论框架。从企业+产业+区域+网络组织4个维度,阐释世界级智能制造业集群的理论内涵。基于理论内涵,结合