量化
量化子
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2021/07/21 22:25 UTC 版)
ゲーム意味論の基礎研究はヤーッコ・ヒンティッカと Gabriel Sandu によって進められ、特に分岐量化子を持つIndependence-Friendry Logic（IF-Logic）が研究された。このような論理では合成性の原則が成り立たず、従ってタルスキ的真理意味論では意味論として不適であった。この問題を解決するため、量化子にゲーム意味論での意味を与えた。手法は命題論理と同様だが、プレイヤーはそれ以前の相手の「手」に関して必ずしも完全情報を持たない。Wilfrid Hodges は Compositional Semantics（合成的意味論）を提案し、それがIF-Logicのゲーム意味論と等価であることを証明した。基礎研究は他の研究を誘発し、Japaridze は Computability Logic（計算可能性論理）を生み出した。
※この「量化子」の解説は、「ゲーム意味論」の解説の一部です。
「量化子」を含む「ゲーム意味論」の記事については、「ゲーム意味論」の概要を参照ください。
ウィキペディア小見出し辞書の「量化子」の項目はプログラムで機械的に意味や本文を生成しているため、不適切な項目が含まれていることもあります。ご了承くださいませ。 お問い合わせ。
- 量化子のページへのリンク
