双主体零和博弈逻辑形式系统建构及模型检测研究

博弈逻辑是博弈论和逻辑学相交叉的一个崭新研究领域,属应用逻辑范畴。双主体零和博弈逻辑是目前国际上博弈逻辑研究的重心。在命题动态逻辑原有程序算子(;∪*)的基础上增加对偶(dual)算子d建构双主体零和博弈逻辑的形式系统;把双主体零和博弈逻辑嵌入μ-演算中,分析双主体零和博弈逻辑的语言表达力;并在对双主体零和博弈逻辑形式系统建构的基础上,研究其模型检测的复杂性,可以为双主体非零和博弈逻辑及多主体博弈逻辑的研究奠定基础。双主体零和博弈逻辑已成为拓展博弈逻辑研究的一个重要方向。

论双主体博弈逻辑

双主体博弈逻辑是目前国际上博弈逻辑研究的重心。结合动态逻辑研究双主体博弈逻辑已经成为国际上双主体博弈逻辑研究的主要趋势。目前,国际学界对双主体零和博弈逻辑的形式系统进行了初步建构,并对双主体零和博弈逻辑模型检测的复杂性进行了探索,而对双主体非零和博弈逻辑的研究才刚刚开始。