【摘 要】
：
博弈逻辑是博弈论和逻辑学相交叉的一个崭新研究领域,属应用逻辑范畴。双主体零和博弈逻辑是目前国际上博弈逻辑研究的重心。在命题动态逻辑原有程序算子(;∪*)的基础上增加
【基金项目】
：
作者主持的北京市哲学社会科学规划项目《双主体博弈逻辑形式系统建构及模型检测研究》的成果之一(项目编号11ZXB004)
论文部分内容阅读
博弈逻辑是博弈论和逻辑学相交叉的一个崭新研究领域,属应用逻辑范畴。双主体零和博弈逻辑是目前国际上博弈逻辑研究的重心。在命题动态逻辑原有程序算子(;∪*)的基础上增加对偶(dual)算子d建构双主体零和博弈逻辑的形式系统;把双主体零和博弈逻辑嵌入μ-演算中,分析双主体零和博弈逻辑的语言表达力;并在对双主体零和博弈逻辑形式系统建构的基础上,研究其模型检测的复杂性,可以为双主体非零和博弈逻辑及多主体博弈逻辑的研究奠定基础。双主体零和博弈逻辑已成为拓展博弈逻辑研究的一个重要方向。
其他文献
目的探讨格列美脲联合盐酸二甲双胍对2型糖尿病疗效。方法对笔者所在医院收治的123例2型糖尿病患者随机分为实验组及对照组,实验组患者采用格列美脲联合盐酸二甲双胍进行治疗
旅游产业集群的判定应以是否具备了旅游产业集群的特征为标准,通过区位商和旅游产业专业化指数法、产业和企业调查法和创新能力评价等定性和定量相结合的方法可以判定是否具
由于莲子具有大小不一、脱壳去膜难度大及莲心苦的特点,必须对莲子进行分级、剥壳和穿心处理。传统的人工加工存在劳动强度大、生产效率低及卫生条件差等问题,应对莲子进行机
利用ASPEN PLUS软件对某柴油加氢装置进行了严格的数学模拟,并进行了重沸炉停用可行性节能研究。结果表明:停用重沸炉是可行的,石脑油和精制柴油质量满足国家标准,产品分馏塔
对加氢炉设计情况进行了介绍,从设备问题、燃料质量及性质变化、重沸炉负荷变化、加工负荷调整频繁、附属系统及仪表控制故障等多方面,针对运行中存在的问题进行了分析,并对
以聚醚PTMG-1000、N-330与异佛尔酮二异氰酸酯制得的聚氨酯预聚体和羟基丙烯酸树脂为主要原料,制备了聚氨酯丙烯酸酯(PUA)涂层,并对涂层的表面状态、透光度、雾度、抗风沙侵
本文以语言学原理为指导,采用现代语言学理论多元互补的方法,从语音、词汇和句子三个相对静态语言层面讨论了用翻译中对应与对立的实例来解释与原文对应和相左的译文。由于语
中国石油70%的产量来自“双高”(高含水、高采出程度)老油田，73%的剩余可采储量存在于“双高”老油田，进一步挖掘“双高”老油田的水驱潜力是中石油可持续发展的重要保证。“双
长期以来银行业金融机构经营风险形势不容乐观,大案要案不断暴露。主要是：违规违法案件导致的经济损失越来越大,内部人员违规操作屡禁不止、监守自盗或内外勾结长期作案频频得
脑卒中是临床上十分常见的脑血管疾病,具有起病急、发展快、程度严重等特征,患者在发病后通常应立即采取应急治疗措施,若不加以及时控制,将对其造成生命威胁。随着医疗工作的