【摘 要】
：
文献[1]中给出了模态描述逻辑的语法与语义,同时给出了两个模型之间的互模拟关系。目前对各种模态描述逻辑系统的研究主要是它们的语法与语义,对其代数性质做研究很少见,然而
【机 构】
：
黔南民族师范学院数学系,广西师范大学计算机科学与信息科学学院
【基金项目】
：
国家自然科学基金（60663001）,贵州省自然科学基金（黔教科2008090）,贵州省科技厅科学基金项目（黔科合J字[2009]2068号）,黔南民族师范学院2008年度院级重点项目（2008z01）
论文部分内容阅读
文献[1]中给出了模态描述逻辑的语法与语义,同时给出了两个模型之间的互模拟关系。目前对各种模态描述逻辑系统的研究主要是它们的语法与语义,对其代数性质做研究很少见,然而研究各种模态描述逻辑系统的模型构造,模型之间互模拟、同构等代数性质有重要的理论与现实意义。文中在文献[1]的基础上,定义了模态描述逻辑的可能世界的理论和两个可能世界的等价,继续研究描述逻辑系统的代数性质,得到了的合式公式在模型间互模拟下的不变性。
其他文献
计算机网络技术以及多媒体技术的日益发展和普及,使得网络化教育在各种形式的教育中得到了迅猛的发展,作为下一代网络技术——网格技术必将在高职共享资源建设中发挥巨大的作
目的:探讨手法推拿联合针灸治疗老年颈性眩晕的效果及对椎-基底动脉血流动力学的影响。方法:研究样本选自2018年5月-2019年5月,研究人员选取132名符合入组以及排除标准的患者
目的:分析中药联合针灸推拿治疗胸腰椎压缩性骨折的临床疗效。方法:研究对象是我科收治且接受保守治疗的122例胸腰椎压缩性骨折病患,纳入时间范围是2017年3月-2018年7月。通
一、安全存在的问题1．非法生产大量存在且有反弹势头；2．企业安全主体责任未落实，企业主及员工仍意识淡漠；3．违禁药物仍少量存在使用现象；4．企业生产、储存、运输、销售中仍有大量违规
目的:探讨益气通脉饮治疗气虚血瘀型冠心病心绞痛的临床疗效。方法:选取2017年10月—2019年2月烟台业达医院收治的气虚血瘀型冠心病心绞痛的患者90例作为研究对象,根据随机数
人工谈判需要耗费大量的时间和人力，基于Agent的自动谈判极大地提高了谈判效率，成为实际需求。将遗传算法作为二级供应链企业自动谈判模型的学习机制，快速求得自动谈判双方的联
目的:观察玉龙散联合龙骨灸治疗腰椎间盘突出症(Lumbar Disc Herniation,LDH)的临床疗效。方法:将符合纳入标准的60例腰椎间盘突出症患者按随机数字表法分为治疗组(30例)和对
目的:探究加味五苓散口服合金黄膏外敷治疗痛风性关节炎的临床疗效。方法:选取2016年8月-2018年4月于我院治疗的痛风性关节炎患者60例,按随机数字表法分为两组,各30例。对照
听、评课是一种集教学管理和校本教研为一体的教学常规活动，一些学校往往将其功能主要定位在学校管理方面，把听、评课当成监督教师教学的手段，因而淡化了教师教学研究的功能，造成
目的:探讨参苓白术散加减治疗肺脾气虚证慢性鼻窦炎的临床疗效。方法:选取2016年6月-2019年3月收治的98例肺脾气虚证慢性鼻窦炎患者,按照随机数字表法随机分为对照组和研究组