ゲーム意味論
ゲーム意味論の基礎研究はヤーッコ・ヒンティッカと Gabriel Sandu によって進められ、特に分岐量化子を持つIndependence-Friendry Logic(IF-Logic)が研究された。このような論理では合成性の原則が成り立たず、従ってタルスキ的真理意味論では意味論として不適であった。この問題を解決するため、量化子にゲーム意味論での意味を与えた。手法は命題論理と同様だが、プレイヤーはそれ以前の相手の「手」に関して必ずしも完全情報を持たない。Wilfrid Hodges は Compositional Semantics(合成的意味論)を提案し、それがIF-Logicのゲーム意味論と等価であることを証明した。基礎研究は他の研究を誘発し、Japaridze は Computability Logic(計算可能性論理)を生み出した。