ゲーム意味論

ウィキペディア

ゲーム意味論

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2023/12/28 05:09 UTC 版)

ゲーム意味論（ゲームいみろん、Game Semantics）とは、ゲーム理論的概念（プレイヤーの勝利戦略の存在など）に基づいた論理の意味論の手法である。1950年代後半にパウル・ローレンツェンが提唱した。その後、様々なゲーム意味論が研究されており、ゲーム意味論はプログラミング言語の形式意味論にも適用されてきた。