ゲーム意味論

ゲーム意味論（ゲームいみろん、Game Semantics）とは、ゲーム理論的概念（プレイヤーの勝利戦略の存在など）に基づいた論理の意味論の手法である。 1950年代後半にパウル・ローレンツェンが提唱した。