Integrated study of multi-modal logics and game theory
Project/Area Number |
19540123
|
Research Category |
Grant-in-Aid for Scientific Research (C)
|
Allocation Type | Single-year Grants |
Section | 一般 |
Research Field |
General mathematics (including Probability theory/Statistical mathematics)
|
Research Institution | Shizuoka University |
Principal Investigator |
SUZUKI Nobu-yuki Shizuoka University, 理学部, 教授 (60216421)
|
Co-Investigator(Kenkyū-buntansha) |
金子 守 筑波大学, システム情報工学研究科, 教授 (40114061)
|
Co-Investigator(Renkei-kenkyūsha) |
MAMORU Kaneko 筑波大学, 大学院・システム情報科学研究科, 教授 (40114061)
|
Project Period (FY) |
2007 – 2009
|
Project Status |
Completed (Fiscal Year 2009)
|
Budget Amount *help |
¥3,770,000 (Direct Cost: ¥2,900,000、Indirect Cost: ¥870,000)
Fiscal Year 2009: ¥1,950,000 (Direct Cost: ¥1,500,000、Indirect Cost: ¥450,000)
Fiscal Year 2008: ¥1,040,000 (Direct Cost: ¥800,000、Indirect Cost: ¥240,000)
Fiscal Year 2007: ¥780,000 (Direct Cost: ¥600,000、Indirect Cost: ¥180,000)
|
Keywords | 数学基礎論 / 様相論理 / ゲーム理論 / 非古典論理 / Kripke意味論 / 認識論理 |
Research Abstract |
ゲーム理論的な応用をめざして、直観主義的認識命題論理IGEFを導入した。(本来EFは添え字だが、簡単の為こう表記する。)さらに、IGEFのためにクリプキータイプ意味論を与えた。IGEFで重要な特徴は2つある。第1は、直観主義論理をベース論理として採用した点である。直観主義論理は構成的推論の論理であり、これはゲームの構成的実行可能性の分析に有用である。第2は、浅い深さの個人間認識推論の取り扱いである。これはepistemicstructureの概念を用いて制御される。
|
Report
(4 results)
Research Products
(33 results)