【摘 要】
：
多模态逻辑系统是在经典模态逻辑基础上增加多个模态词而得到的系统,Walter Carnielli和Claudio Pizzi在专著Modalities and Multimodalities中提出了更为一般化的多模态逻辑
【基金项目】
：
国家社会科学基金项目“混合时态逻辑及其多模态推广的相关问题研究”（13BZX063）
论文部分内容阅读
多模态逻辑系统是在经典模态逻辑基础上增加多个模态词而得到的系统,Walter Carnielli和Claudio Pizzi在专著Modalities and Multimodalities中提出了更为一般化的多模态逻辑系统,证明了这些系统的完全性。混合逻辑系统是在模态逻辑基础上增加名词性词（nominal）作为一类特殊的命题,并增加满足算子等联结词而得到的系统,它有着更丰富的表达力。人们对经典模态逻辑和时态逻辑的混合系统已经作了研究,在此基础上,把混合逻辑的方法推广运用到更一般的正规多模态逻辑中,同时证
其他文献
中国《海洋基本法》的核心功能主要集中于为实现海洋强国战略服务、为维护中国海洋权益服务、为统摄海洋法制体系服务以及为宣扬国家海洋观念服务4个方面。虽然当前国际上制
给出了一个公开问题p-维可2-重自补图序列个数的上下界.
经过多年的一线训练,笔者从中探讨出一系列行之有效的中学业余短跑训练方法,并从技术动作、步频、步幅等方面着手,阐明自己的观点。
设E是Banach空间,本文在空间C[I,E]中给出了若干新的非连续增算子不动点定理,并且统一、改善和推广了许多已知结果.
采用量子化学从头算方法在HF/6-31G**及MP2/6-31G**水平上计算了甲酰基双烯酮及苯甲酰基双烯酮的重排反应机理.结果表明,两反应均为简单基元反应,反应中的H原子(或C原子)和邻
兴趣是最好的老师,是开发智力,挖掘潜能的钥匙。瑞典心理学家皮亚杰说,儿童的活动受兴趣的激发和培养。如果学生对数学产生了浓厚的兴趣,那么数学学习对他来说就不是一种负担
相关免疫是前馈网络流密码抵抗相关攻击的一种能力.寻找具有相关免疫性能流密码生成器具有实践意义和理论意义.本文给出构造相关免疫函数的一种算法.
杂交水稻盘育抛秧栽培方式可以提高秧苗素质.大田抛秧在600盘/hm2密度下有较好的生物学性状和最高产量.与传统育秧移栽方式比,产量提高11.35%."汕优63"的6年平均产量达7 499.
小学阶段的教育教学中,必须重视培养和增强学生的责任感,促进每一个学生全面和谐地发展。
从理论内涵、行业范畴、升级机理3个方面,构建世界级智能制造业集群的理论框架。从企业+产业+区域+网络组织4个维度,阐释世界级智能制造业集群的理论内涵。基于理论内涵,结合