简述
Lorenzen和Kuno Lorenz的首要动机是为直觉逻辑寻到一种博弈论(他们的术语是“对话式”Dialogische Logik)语义。Blass首先表示在博弈语义和线性逻辑之间的联系。这个路线更深一步由Samson Abramsky、Radhakrishnan Jagadeesan、Pasquale Malacaria和独立的由Martin Hyland和Luke Ong发展，对合成性加以特别强调，就是递归的在语法上定义策略。运用博弈语义，上面提到的作者们处理了长期存在的为可计算函数的编程语言定义完全抽象模型的困难。从此，博弈语义形成各种编程语言的完全抽象的语义模型，致使了软件模型检查的软件验证的新的语义制导的方法。 [1]Lorenzen和KunoLorenz的首要动机是为直觉逻辑寻到一种博弈论(他们的术语是“对话式”DialogischeLogik)语义。Blass首先表示在博弈语义和线性逻辑之间的联系。这个路线更深一步由SamsonAbramsky、RadhakrishnanJagadeesan、PasqualeMalacaria和独立的由MartinHyland和LukeOng发展，对合成性加以特别强调，就是递归的在语法上定义策略。运用博弈语义，上面提到的作者们处理了长期存在的为可计算函数的编程语言定义完全抽象模型的困难。从此，博弈语义形成各种编程语言的完全抽象的语义模型，致使了软件模型检查的软件验证的新的语义制导的方法。
量词
博弈语义的基础性考虑已经被Jaakko Hintikka和Gabriel Sandu愈加强调，尤其是为了友好独立逻辑(IF逻辑，愈加新近的友好信息逻辑)，它是带有分支量词的逻辑。复合性原理被觉得对这些逻辑失利，所以Tarski主义的真理定义不能供应合适的语义。
要处理这个困难，量词被予以博弈论意义，全称量词和存在量词表明一个游戏者从这个域做的一个选择。在全称情形下，给游戏者的自然名字是“证伪者”；在存在情形下，是“确认者”。注意一个单一的反例证伪一个全称量化陈述，而一个单一的例子充足确认一个存在量化陈述。Wilfrid Hodges提议了复合语义并证明了它等价于给IF-逻辑的博弈语义。基础性考虑已经助推了其余人的工作，比如Japaridze的可计算性逻辑。 [1]