差异_游戏_逻辑 swMATH ID: 32245 软件作者: 安德烈·普拉泽 说明: 微分博弈逻辑。这种形式化提供了差分游戏逻辑(dGL),这是一种用于证明混合游戏属性的逻辑。除了语法和语义之外,它还形式化了dGL的统一替换演算。Church的统一替换在任何地方都用一个术语或公式来代替一个函数或谓词符号。dGL的统一替代品也可以在任何地方用混合游戏代替游戏符号。我们证明了单程一致替换的稳健性和微分对策逻辑关于其指称语义的公理。通过使用线性传递同态应用程序延迟可靠性临界可接受性检查,单程均匀替换更快,并通过替换处的可变条件恢复可靠性。形式化是基于dGL之前的非机械化稳健性证明。 主页: https://www.isa-afp.org/entries/Differential_Game_Logic.html 相关软件: 凯伊马拉;贝勒罗芬;存档正式证据;变压器语义;Quantales公司;凯伊迈拉X;KAD公司;代数_VC;克莱恩代数;常微分方程;科奎利科;C-CoRN公司;罗德斯;伊莎贝尔/HOL 引用于: 3文件 3位作者引用 2 安德烈·普拉泽 1 乔纳森·朱利安(Jonathan Julián),韦尔塔·穆尼夫(Huerta y Munive) 1 乔治·斯特鲁斯 2篇连载文章中引用 1 自动推理杂志 1 ACM计算逻辑事务 在3个字段中引用 三 计算机科学(68至XX) 2 数学逻辑和基础(03-XX) 1 博弈论、经济学、金融和其他社会和行为科学(91-XX) 按年份列出的引文