博弈语义 博弈语义是一种基于博弈论定义真或有效性等逻辑概念的形式语义比如游戏者的赢策略保尔洛伦茨首先在年代晚期为逻辑引入了博弈语义此后在逻辑中已经研究了很多不同的博弈语义博弈语义也已经应用于编程语言的形式语义