博弈語義

博弈語義是一種基於博弈論定義真或有效性等邏輯概念的形式語義 ， 比如遊戲者的贏策略 。 保爾 · 洛倫茨首先在1950年代晚期爲邏輯引入了博弈語義 。 此後在邏輯中已經研究了很多不同的博弈語義 。 博弈語義也已經應用於編程語言的形式語義 。