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