研究課題
基盤研究(C)
ゲーム理論的な応用をめざして、直観主義的認識命題論理IGEFを導入した。(本来EFは添え字だが、簡単の為こう表記する。)さらに、IGEFのためにクリプキータイプ意味論を与えた。IGEFで重要な特徴は2つある。第1は、直観主義論理をベース論理として採用した点である。直観主義論理は構成的推論の論理であり、これはゲームの構成的実行可能性の分析に有用である。第2は、浅い深さの個人間認識推論の取り扱いである。これはepistemicstructureの概念を用いて制御される。
すべて 2009 2008 2007
すべて 雑誌論文 (3件) (うち査読あり 1件) 学会発表 (13件) 図書 (1件)
Proceedings of the Sixth International Workshop of Logic and Engineering of Natural Language Semantics
ページ: 201-220
Proceedings of the 42nd MLG meeting at Fukuoka, Japan 2008
ページ: 41-42
ページ: 43-46