课题基金 / 基金详情

Integrated study of multi-modal logics and game theory

Integrated study of multi-modal logics and game theory
多模态逻辑与博弈论的综合研究
批准号：
19540123
负责人：
SUZUKI Nobu-yuki
金额：
$2.41万
依托单位：
Shizuoka University
依托单位国家：
日本
项目类别：
Grant-in-Aid for Scientific Research (C)
财政年份：
2007
资助国家：
日本
项目状态：
已结题
起止时间：
2007 至 2009
来源：
https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-19540123/
关键词：
数学基礎論様相論理ゲーム理論非古典論理Kripke意味論認識論理

项目摘要

项目成果

SUZUKI Nobu-yuki的其他基金

相似基金

相关文献

中文摘要
翻译
ゲーム理論的な応用をめざして、直観主義的認識命題論理IGEFを導入した。(本来EFは添え字だが、簡単の為こう表記する。)さらに、IGEFのためにクリプキータイプ意味論を与えた。IGEFで重要な特徴は2つある。第1は、直観主義論理をベース論理として採用した点である。直観主義論理は構成的推論の論理であり、これはゲームの構成的実行可能性の分析に有用である。第2は、浅い深さの個人間認識推論の取り扱いである。これはepistemicstructureの概念を用いて制御される。
英文摘要
ゲーム理論的な応用をめざして、直観主義的認識命題論理IGEFを導入した。(本来EFは添え字だが、簡単の為こう表記する。)さらに、IGEFのためにクリプキータイプ意味論を与えた。IGEFで重要な特徴は2つある。第1は、直観主義論理をベース論理として採用した点である。直観主義論理は構成的推論の論理であり、これはゲームの構成的実行可能性の分析に有用である。第2は、浅い深さの個人間認識推論の取り扱いである。これはepistemicstructureの概念を用いて制御される。
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
Intuitionistic Epistemic Logics of Shallow Depths for Game Theoretical Applications:Completeness and Decidability
博弈论应用的浅层直觉认知逻辑：完备性和可判定性
DOI： --
发表时间： 2007
期刊：
影响因子： --
作者： [M. Kaneko, N. -Y. Suzuki, N. -Y. Suzuki, Nobu-Yuki Suzuki, N. -Y. Suzuki, Nobu-Yuki Suzuki, N. -Y. Suzuki, Nobu-Yuki Suzuki]
通讯作者： Nobu-Yuki Suzuki
Kripke-Type Semantics for Intuitionistic Epistemic Logics of Shallow Depths for Game Theory
博弈论浅层直觉认识逻辑的克里普克型语义
DOI： --
发表时间： 2009
期刊： Proceedings of the Sixth International Workshop of Logic and Engineering of Natural Language Semantics
影响因子： --
作者： [Suzuki, Nobu-Yuki]
通讯作者： Nobu-Yuki
A Proof-Theoretic Evaluation of Arrow's Impossibility Theorem
阿罗不可能性定理的证明理论评估
DOI： --
发表时间： 2008
期刊：
影响因子： --
作者： [M. Kaneko, N. -Y. Suzuki]
通讯作者： N. -Y. Suzuki
Semantics of Epistemic Logics for Constructive and Shallow Epistemic Inferences
构造性和浅层认知推理的认知逻辑语义
DOI： --
发表时间： 2007
期刊：
影响因子： --
作者： [M. Kaneko, N. -Y. Suzuki, N. -Y. Suzuki]
通讯作者： N. -Y. Suzuki
共 17 条
    Study of multi-modal logics and its application to game theory
    • 批准号：
      16340022
    • 项目类别：
      Grant-in-Aid for Scientific Research (B)
    • 资助金额：
      $4.29万
    • 财政年份：
      2004
    • 负责人：
      SUZUKI Nobu-yuki
    • 依托单位：
      Shizuoka University
    Extended Kripke Semantics and its Application to Epistemic Logics and Game Theory
    • 批准号：
      13640111
    • 项目类别：
      Grant-in-Aid for Scientific Research (C)
    • 资助金额：
      $2.5万
    • 财政年份：
      2001
    • 负责人：
      SUZUKI Nobu-yuki
    • 依托单位：
      Shizuoka University
    海外基金