Research Project
Grant-in-Aid for Scientific Research (C)
ゲーム理論的な応用をめざして、直観主義的認識命題論理IGEFを導入した。(本来EFは添え字だが、簡単の為こう表記する。)さらに、IGEFのためにクリプキータイプ意味論を与えた。IGEFで重要な特徴は2つある。第1は、直観主義論理をベース論理として採用した点である。直観主義論理は構成的推論の論理であり、これはゲームの構成的実行可能性の分析に有用である。第2は、浅い深さの個人間認識推論の取り扱いである。これはepistemicstructureの概念を用いて制御される。
All 2009 2008 2007
All Journal Article (3 results) (of which Peer Reviewed: 1 results) Presentation (13 results) Book (1 results)
Proceedings of the Sixth International Workshop of Logic and Engineering of Natural Language Semantics
Pages: 201-220
Proceedings of the 42nd MLG meeting at Fukuoka, Japan 2008
Pages: 41-42
Pages: 43-46