博弈语义 编辑
博弈语义是一种基于博弈论定义真或有效性等逻辑概念的形式语义，比如游戏者的赢策略。保尔·洛伦茨首先在1950年代晚期为逻辑引入了博弈语义。此后在逻辑中已经研究了很多不同的博弈语义。博弈语义也已经应用于编程语言的形式语义。
1
相关
保罗·洛伦岑是一位德国哲学家和数学家，博弈语义的发明者之一，埃尔朗根学派的建立者之一。