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: ¥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の概念を用いて制御される。

Research Products

• [Journal Article] Kripke-Type Semantics for Intuitionistic Epistemic Logics of Shallow Depths for Game Theory (2009)
  • Author(s): Suzuki, Nobu-Yuki
  • Journal Title: Proceedings of the Sixth International Workshop of Logic and Engineering of Natural Language Semantics Pages: 201-220
  • Peer Reviewed
• [Journal Article] Kripke-Type Semantics for Intuitionistic Epistemic Logics of Shallow Depths for Game Theory (2009)
  • Author(s): Nobu-Yuki Suzuki
  • Journal Title: Proceedings of he Sixth International Workshop of Logic and Engineering of Natural Language Semantics 1 Pages: 201-210
  • Peer Reviewed
• [Journal Article] ある直観主義的認識論理とそのKripke型意味論 (2009)
  • Author(s): 鈴木信行
  • Journal Title: Proceedings of the 42nd MLG meeting at Fukuoka, Japan 2008 1 Pages: 43-46
• [Journal Article] Contentwise Complexity: An Evaluation of Arrow's Impossibility Theorem (2008)
  • Author(s): Suzuki, Nobu-Yuki, M. Kaneko
  • Journal Title: Proceedings of the 42nd MLG meeting at Fukuoka, Japan 2008 Pages: 41-42
• [Journal Article] ある直観主義的認識論理とそのKripke型意味論 (2008)
  • Author(s): 鈴木信行
  • Journal Title: Proceedings of the 42nd MLG meeting at Fukuoka, Japan 2008 Pages: 43-46
• [Journal Article] Information Protocols and Extensive Games in Inductive Game Theory
  • Author(s): M.Kaneko and J.J.Kline
  • Journal Title: To appear Game Theory and ApPlications (印刷中)
  • Peer Reviewed
• [Presentation] Kripke-Type Semantics for Intuitionistic Epistemic Logics of Shallow Depths for Game Theory (2009)
  • Author(s): N. -Y. Suzuki
  • Organizer: Logic and Engineering of Natural Language Semantics 6 (LENLS VI)
  • Place of Presentation: Tokyo, Japan
  • Year and Date: 2009-11-20
• [Presentation] Kripke-Type Semantics for Intuitionistic Epistemic Logics of Shallow Depths for Game Theory (2009)
  • Author(s): Nobu-Yuki Suzuki
  • Organizer: Logic and Engineering of Natural Language Semantics 6 (LENLS VI)
  • Place of Presentation: キャンパスイノベーションセンター (東京都)
  • Year and Date: 2009-11-20
• [Presentation] Semantics for intuitionistic epistemic logics of shallow depths for game theory, Logic (2009)
  • Author(s): N. -Y. Suzuki
  • Organizer: Game theory, and Social Choise 6
  • Place of Presentation: Tsukuba, Japan
  • Year and Date: 2009-08-27
• [Presentation] Semantics for intuitionistic epistemic logics of shallow depths for game theory (2009)
  • Author(s): Nobu-Yuki Suzuki
  • Organizer: Logic, Game theory, and Social Choise 6
  • Place of Presentation: 筑波大学 (つくば市)
  • Year and Date: 2009-08-27
• [Presentation] Semantics for intuitionistic epistemic logics of shallow depths for game theory (2009)
  • Author(s): N. -Y. Suzuki
  • Organizer: SAET Conference on Current Trends in Economics 2009
  • Place of Presentation: Ischia, Italy
  • Year and Date: 2009-07-04
• [Presentation] Semantics for intuitionistic epistemic logics of shallow depths for game theory (2009)
  • Author(s): Nobu-Yuki Suzuki
  • Organizer: SAET Conference on Current Trends in Economics 2009
  • Place of Presentation: Ischia (イタリア)
  • Year and Date: 2009-07-04
• [Presentation] ある直観主義的認識論理とそのKripke型意味論 (2008)
  • Author(s): 鈴木信行
  • Organizer: 42nd MLG数理論理学研究集会2008
  • Place of Presentation: 九州産業大学
  • Year and Date: 2008-11-08
• [Presentation] Contentwise Complexity: An evaluation of Arrow's impossibility theomem (2008)
  • Author(s): 金子守、鈴木信行
  • Organizer: 42nd MLG数理論理学研究集会2008
  • Place of Presentation: 九州産業大学
  • Year and Date: 2008-11-08
• [Presentation] ある直観主義的認識論理とそのKripke型意味論 (2008)
  • Author(s): 鈴木信行
  • Organizer: 数理論理学研究集会
  • Place of Presentation: 九州産業大学
  • Year and Date: 2008-11-08
• [Presentation] Contentwise Complexity : An Evaluation of Arrow's Impossibility Theorem (2008)
  • Author(s): 金子守鈴木信行
  • Organizer: 数理論理学研究集会
  • Place of Presentation: 九州産業大学
  • Year and Date: 2008-11-08
• [Presentation] ある直観主義的認識論理とその意味論 (2008)
  • Author(s): 鈴木信行
  • Organizer: 日本数学会秋季総合分科会(数学基礎論分科会)
  • Place of Presentation: 東京工業大学東京・日本
  • Year and Date: 2008-09-26
• [Presentation] ある直観主義的認識論理とその意味論 (2008)
  • Author(s): 鈴木信行
  • Organizer: 日本数学会秋季総合分科会
  • Place of Presentation: 東京工業大学
  • Year and Date: 2008-09-26
• [Presentation] A Proof-Theoretic Evaluation of Arrow's Impossibility Theorem (2008)
  • Author(s): M. Kaneko, N. -Y. Suzuki
  • Organizer: Logic and Economics(Players with Limited Cognitive and Inferential Abilities and Mental-Behavioral Consequences)
  • Place of Presentation: Tsukuba, Japan
  • Year and Date: 2008-08-27
• [Presentation] Semantics for Intuitionistic Epistemic Logics of Shallow Depths for Game Theory (2008)
  • Author(s): N. -Y. Suzuki
  • Organizer: Logic and Economics(Players with Limited Cognitive and Inferential Abilities and Mental-Behavioral Consequences)
  • Place of Presentation: Tsukuba, Japan
  • Year and Date: 2008-08-26
• [Presentation] Semantics for Intuitionistic Epistemic Logics of Shallow Depths for Game Theory (2008)
  • Author(s): Nobu-Yuki Suzuki
  • Organizer: Logic and Economics
  • Place of Presentation: 筑波大学
  • Year and Date: 2008-08-26
• [Presentation] A Proof-Theoretic Evaluation of Arrow's Impossibility Theorem (2008)
  • Author(s): Nobu-Yuki Suzuki
  • Organizer: Logic and Economics
  • Place of Presentation: 筑波大学
  • Year and Date: 2008-08-26
• [Presentation] A Proof-Theoretic Evaluation of Arrow's Impossibility Theorem (2008)
  • Author(s): M. Kaneko, N. -Y. Suzuki
  • Organizer: 9th International Meeting of the Society for Social Choice and Welfare
  • Place of Presentation: Concordia University, Montreal, Canada
  • Year and Date: 2008-06-21
• [Presentation] Semantics of Epistemic Logics for Constructive and Shallow Epistemic Inferences (2007)
  • Author(s): N. -Y. Suzuki
  • Organizer: 2007 Joint Conference in Game Theory and Decentralization
  • Place of Presentation: Taipei, Taiwan
  • Year and Date: 2007-10-21
• [Presentation] Semantics of Epistemic Logics for Constructive and Shallow Epistemic Inferences (2007)
  • Author(s): Nobu-Yuki Suzuki
  • Organizer: 2007 Joint Conference in Game Theory and Decentralization
  • Place of Presentation: 台北(Taipei)
  • Year and Date: 2007-10-21
• [Presentation] Some Logical Aspects in Game Theoretical Situations: Constructive and Shallow Epistemic Inferences-Intuitionistic Epistemic Logic- (2007)
  • Author(s): N. -Y. Suzuki
  • Organizer: Workshop on Epistemic Logic and Game Theory
  • Place of Presentation: Taipei, Taiwan
  • Year and Date: 2007-08-19
• [Presentation] Some Logical Aspects in Game Theoretical Situations:Constructive and Shallow Epistemic Inferences (2007)
  • Author(s): Nobu-Yuki Suzuki
  • Organizer: Workshop on Epistemic Logic and Game Theory
  • Place of Presentation: 台北(Taipei)
  • Year and Date: 2007-08-19
• [Presentation] Intuitionistic Epistemic Logics of Shallow Depths for Game Theoretical Applocations: ompleteness and Decidability (2007)
  • Author(s): N. -Y. Suzuki
  • Organizer: 5th International Conference on Logic, Game Theory and Social Choice 2007
  • Place of Presentation: Bilbao, Spain
  • Year and Date: 2007-06-22
• [Presentation] Intuitionistic Epistemic Logics of Shallow Depths for Game Theoretical Applications:Completeness and Decidability (2007)
  • Author(s): Nobu-Yuki Suzuki
  • Organizer: The 5th International Conference on Logic, Game Theory and Social Choice 2007
  • Place of Presentation: ビルバオ、スペイン(Bilbao,Spain)
  • Year and Date: 2007-06-22
• [Presentation] ntutionistic Epistemic Logics of Shallow Depths: Possible-State-of-Mind Semantics (2007)
  • Author(s): N. -Y. Suzuki
  • Organizer: 8th SAET Conference on Current Trends in Economics 2007
  • Place of Presentation: Kos, Greece
  • Year and Date: 2007-06-19
• [Presentation] Intutionistic Epistemic Logics of Shallow Depths (2007)
  • Author(s): Nobu-Yuki Suzuki
  • Organizer: 8th SAET Conference on Current Trends in Economics
  • Place of Presentation: コス、ギリシャ(Kos,Greece)
  • Year and Date: 2007-06-19
• [Book] 社会正義地界で考える (2007)
  • Author(s): 金子守
  • Total Pages: 304
  • Publisher: 勁草書房
• [Book] 社会正義地界で考える (2007)
  • Author(s): 金子 守
  • Total Pages: 304
  • Publisher: 勁草書房