论文摘要
标准一阶逻辑具有封闭性。其封闭性主要表现在三个方面,其一是在关系下是封闭的,其二是在谓词置换下是封闭的,其三是在某些积构造下也是封闭的。另外,这三条性质在扩充的一阶逻辑语言中也同样成立。通过对基于知识和信息流的认知逻辑中公开宣告逻辑的扩充,刻画包括PDL和模态μ演算的模态固定点逻辑的模态语言可以定义严格的"积封闭"。均衡博弈为无穷博弈,以模态固定点逻辑为其博弈语义,均衡博弈具有历史约束确定的、有利于构建模态固定点逻辑的语义。
论文目录
文章来源
类型: 期刊论文
作者: 董英东
关键词: 固定点逻辑,积封闭,均衡博弈,信息流
来源: 贵州工程应用技术学院学报 2019年03期
年度: 2019
分类: 社会科学Ⅱ辑,基础科学
专业: 数学
单位: 贵州工程应用技术学院逻辑与文化研究中心
基金: 国家社科基金重大项目“现代归纳逻辑的新发展,理论前沿与应用研究”,项目编号:15ZDB08
分类号: O14
页码: 1-9
总页数: 9
文件大小: 2074K
下载量: 16
相关论文文献
- [1].基于准绝热的锌固定点复现装置[J]. 计量学报 2016(06)
- [2].某车型安全带固定点分析及优化[J]. 汽车实用技术 2018(23)
- [3].汽车安全带固定点强度分析与研究[J]. 上海汽车 2019(06)
- [4].基于安全带车身固定点要求的车身结构优化[J]. 内燃机与配件 2019(03)
- [5].轻客座椅固定点强度法规符合性分析[J]. 科技风 2018(20)
- [6].儿童座椅安全带固定点对儿童损伤的影响[J]. 汽车工程师 2017(12)
- [7].某MPV车型安全带固定点结构的优化[J]. 内燃机与配件 2019(09)
- [8].基于安全带固定点强度的车身结构优化设计[J]. 时代汽车 2019(05)
- [9].准绝热法微型镓固定点相变特性研究[J]. 计量学报 2017(01)
- [10].基于GB 14167的前排座椅固定点强度等效评估方法[J]. 上海汽车 2018(10)
- [11].高中生物教学中固定点的选定与利用[J]. 中学生物教学 2018(Z1)
- [12].基于LS-dyna的汽车安全带固定点强度分析及优化[J]. 西部皮革 2018(17)
- [13].校车座椅三点式安全带上固定点调节范围仿真研究[J]. 现代制造技术与装备 2016(07)
- [14].基于固定点的一种轨道几何参数测量的探讨[J]. 铁道建筑技术 2014(S1)
- [15].安全带固定点强度仿真精度分析及过法规优化[J]. 现代制造工程 2018(04)
- [16].基于固定点平滑的CNS/INS一体化偏差标校方法[J]. 现代导航 2019(05)
- [17].固定点旋转激发瞬变电磁法在广西北山找矿突破[J]. 世界有色金属 2019(13)
- [18].某车型安全气囊ECU固定点动刚度优化[J]. 轻型汽车技术 2018(07)
- [19].红外高光谱大气探测仪星载固定点黑体辐射源的研制[J]. 计量学报 2019(02)
- [20].基于波数漂移修正算法的免标定固定点波长调制技术[J]. 光学学报 2019(08)
- [21].固定点导线测量在煤矿掘进下分层巷道中的应用[J]. 能源与节能 2019(10)
- [22].应用高温固定点校准精密光电高温计[J]. 计量学报 2017(05)
- [23].一种针对具有时间结构的源信号盲源提取算法[J]. 信息技术 2017(08)
- [24].大型自行车共享系统的平均场极限理论与排队模型研究[J]. 运筹与管理 2017(06)
- [25].一等标准铂铑10-铂热电偶测量结果的不确定度评定[J]. 计量与测试技术 2011(08)
- [26].基于微型固定点的温度传感器现场标定技术研究[J]. 计量技术 2018(10)
- [27].1.5MW双馈风力发电机转子过桥线和引出线的断裂[J]. 电机技术 2017(06)
- [28].一种新的固定点容积Rauch-Tung-Striebel平滑算法[J]. 计算机工程与应用 2016(14)
- [29].提高DIS实验在教学中有效性的思考[J]. 物理教学探讨 2013(07)
- [30].浅析汽车座椅安全带固定点出口认证检测[J]. 科技创新导报 2019(15)