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