马克·保利;罗希特·帕里赫 游戏逻辑——概述。 (英语) Zbl 1040.03013号 螺柱日志。 75,第2期,165-182(2003). 概要:游戏逻辑是一种模态逻辑,它通过概括命题动态逻辑的语义并向语言中添加新的运算符来扩展命题动态逻辑。该逻辑可用于推理确定的双人游戏。我们概述了关于该逻辑的元理论结果,也涵盖了称为博弈代数的逻辑的代数版本。 引用于28文件 MSC公司: 03B45号 模态逻辑(包括规范逻辑) 91A05型 2人游戏 关键词:模态逻辑;命题动态逻辑;博弈论 PDF格式BibTeX公司 XML格式引用 \textit{M.Pauly}和\textit{R.Parikh},Stud.Log。75,编号2165-182(2003年;兹bl 1040.03013) 全文: 内政部