【摘 要】
：
多模态逻辑作为模态逻辑的扩充，是模态逻辑进行时态和动态扩充的基础，中介逻辑是一个新的逻辑系统，自创立后得到了很大发展，并在数理逻辑及计算机科学领域中得到广泛应用为将中介
【机 构】
：
南京航空航天大学计算机科学与工程系
【基金项目】
：
国家高技术研究发展计划,国家基础研究“攀登计划”资助
论文部分内容阅读
多模态逻辑作为模态逻辑的扩充，是模态逻辑进行时态和动态扩充的基础，中介逻辑是一个新的逻辑系统，自创立后得到了很大发展，并在数理逻辑及计算机科学领域中得到广泛应用为将中介逻辑进行是态和动态扩充，本文构造了一种基于中介逻辑的多模态逻辑系统ＭＭＫ，讨论了它的推理规则和语义解释，并证明了ＭＭＫ的可靠性和完备性，在此基础上给出了一种基于中介逻辑的时态逻辑系统ＭＴ，对它的可靠性和完备性进行了讨论。
其他文献
目的:了解常用抗精神病药氯氮平在我国应用引起白细胞减少和粒细胞缺乏的情况.方法:依托北京7家图书馆,对<中华(神经)精神科杂志>等9种精神科杂志,<(中国)新药与临床杂志>等3
当代文化建筑以开放的姿态积极介入城市环境,并不断突破建筑本体功能的限定,越来越多地承载原本属于城市的职能。本文提出,对于当代文化建筑职能的研究应强调建筑对外部环境
城郊型农村社区（下文简称“城郊村”）作为郊区城市化和农村城镇化的产物，处在“城市边缘的新社会空间”之下，由于城乡交接、外来人口多、基础设施滞后、管理困难等原因，成为矛盾集
以对阿瑟·黑利的畅销书《烈药》的文本解读为基础,指出畅销书创作的致命弱点:对情节结构、故事性的追求远胜于对人生的思考与道德的追求,拔高现实、粉饰理想带来的是适得其
随着互联网的快速发展,经济发展的模式发生彻底性的变革,由传统的日常生活中的"货币—物"的交易模型转变为"虚拟货币—第三方平台—物"的交易模式。网络交易因其即时、方便、
成都地奥集团是1988年8月18日借款50万元创办的局新技术企业,经过20多个春秋的不懈努力,己成为集天然药物、合成药物、基因工程药物、微生物药物、药物制剂研制为一体的大型
高职教育是直接服务经济社会发展的高等教育,其基本属性和主要特征决定了社区教育要满足区域社会对各级各类人才的需求,必然要依靠高职院校的力量。自我国第一所社区学院——
研究生党员作为大学生党员中受教育程度最高的群体，是社会主义建设事业的骨干和栋梁，是促进经济建设和社会进步的生力军，做好研究生基层党建工作，培育中国特色社会主义事业高层次
俄罗斯彼得大帝号导弹巡洋舰１９９６年１０月中旬，俄罗斯舰队的一艘最新导弹巡洋舰彼得大帝号在波罗的海进行试航。它是目前在役的第四艘基洛夫级巡洋舰。该级４艘舰艇１９９２年分别改名为：基洛夫改
研究犬学的发展历史不难发现,12世纪中叶到19世纪初期,大学只有教学功能,旨在保存和发展文化知识,培训人才;19世纪初期,洪堡和费希特创办的柏林大学的改革,首次把教学和科研