刷新
{{item.name}}会员
Integrated study of multi-modal logics and game theory
多模态逻辑与博弈论的综合研究
基本信息
- 批准号：19540123
- 负责人：
- 金额：$ 2.41万
- 依托单位：
- 依托单位国家：日本
- 项目类别：Grant-in-Aid for Scientific Research (C)
- 财政年份：2007
- 资助国家：日本
- 起止时间：2007 至 2009
- 项目状态：已结题
- 来源：
- 关键词：
项目摘要
ゲーム理論的な応用をめざして、直観主義的認識命題論理IGEFを導入した。(本来EFは添え字だが、簡単の為こう表記する。)さらに、IGEFのためにクリプキータイプ意味論を与えた。IGEFで重要な特徴は2つある。第1は、直観主義論理をベース論理として採用した点である。直観主義論理は構成的推論の論理であり、これはゲームの構成的実行可能性の分析に有用である。第2は、浅い深さの個人間認識推論の取り扱いである。これはepistemicstructureの概念を用いて制御される。
The ゲーム theory's な応用をめざして, and the epistemological propositional theory IGEF of righteousness were introduced into した. (Originally EF's は天え字だが, 简単の's こうexpression means する.) さらに, IGEF's のためにクリプキータイプ mean を and えた. IGEF is an important tool. No. 1, the principle of direct theory is adopted. The inference of the direct theory and the analysis of the possibility of implementation of the structure of the theory are useful. The second step is to draw shallow and deep personal knowledge and inferences. The concept of これはepistemicstructure is controlled by いてされる.
项目成果
期刊论文数量（0）
专著数量（0）
科研奖励数量（0）
会议论文数量（0）
专利数量（0）
Kripke-Type Semantics for Intuitionistic Epistemic Logics of Shallow Depths for Game Theory
博弈论浅层直觉认识逻辑的克里普克型语义
- DOI：
- 发表时间：2009
- 期刊：
- 影响因子：0
- 作者：Suzuki;Nobu-Yuki
- 通讯作者：Nobu-Yuki
Intuitionistic Epistemic Logics of Shallow Depths for Game Theoretical Applications:Completeness and Decidability
博弈论应用的浅层直觉认知逻辑：完备性和可判定性
- DOI：
- 发表时间：2007
- 期刊：
- 影响因子：0
- 作者：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
A Proof-Theoretic Evaluation of Arrow's Impossibility Theorem
阿罗不可能性定理的证明理论评估
- DOI：
- 发表时间：2008
- 期刊：
- 影响因子：0
- 作者：M. Kaneko;N. -Y. Suzuki
- 通讯作者：N. -Y. Suzuki
Semantics of Epistemic Logics for Constructive and Shallow Epistemic Inferences
构造性和浅层认知推理的认知逻辑语义
- DOI：
- 发表时间：2007
- 期刊：
- 影响因子：0
- 作者：M. Kaneko;N. -Y. Suzuki;N. -Y. Suzuki
- 通讯作者：N. -Y. Suzuki
Some Logical Aspects in Game Theoretical Situations:Constructive and Shallow Epistemic Inferences
博弈论情境中的一些逻辑方面：构造性和浅层认知推论
- DOI：
- 发表时间：2007
- 期刊：
- 影响因子：0
- 作者：M. Kaneko;N. -Y. Suzuki;N. -Y. Suzuki;Nobu-Yuki Suzuki;N. -Y. Suzuki;Nobu-Yuki Suzuki
- 通讯作者：Nobu-Yuki Suzuki
{{
item.title }}
{{ item.translation_title }}
- DOI：
{{ item.doi }} - 发表时间：
{{ item.publish_year }} - 期刊：
- 影响因子：{{ item.factor }}
- 作者：
{{ item.authors }} - 通讯作者：
{{ item.author }}
数据更新时间：{{ journalArticles.updateTime }}
{{ item.title }}
- 作者：
{{ item.author }}
数据更新时间：{{ monograph.updateTime }}
{{ item.title }}
- 作者：
{{ item.author }}
数据更新时间：{{ sciAawards.updateTime }}
{{ item.title }}
- 作者：
{{ item.author }}
数据更新时间：{{ conferencePapers.updateTime }}
{{ item.title }}
- 作者：
{{ item.author }}
数据更新时间：{{ patent.updateTime }}
SUZUKI Nobu-yuki其他文献
SUZUKI Nobu-yuki的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI：
{{ item.doi }} - 发表时间：
{{ item.publish_year }} - 期刊：
- 影响因子：{{ item.factor }}
- 作者：
{{ item.authors }} - 通讯作者：
{{ item.author }}
{{ truncateString('SUZUKI Nobu-yuki', 18)}}的其他基金
Study of multi-modal logics and its application to game theory
多模态逻辑研究及其在博弈论中的应用
- 批准号：
16340022 - 财政年份：2004
- 资助金额：
$ 2.41万 - 项目类别：
Grant-in-Aid for Scientific Research (B)
Extended Kripke Semantics and its Application to Epistemic Logics and Game Theory
扩展克里普克语义及其在认知逻辑和博弈论中的应用
- 批准号：
13640111 - 财政年份：2001
- 资助金额：
$ 2.41万 - 项目类别：
Grant-in-Aid for Scientific Research (C)
相似海外基金
社会的コミュニケーションにおける発話のダイナミクスの動的様相論理による学際的研究
在社交传播中使用语音动力学的动态模态逻辑进行跨学科研究
- 批准号：
23K21869 - 财政年份：2024
- 资助金额：
$ 2.41万 - 项目类别：
Grant-in-Aid for Scientific Research (B)
様相論理KTBとそれを含む様相論理がなす束の構造に関する研究
模态逻辑KTB及包含它的模态逻辑形成的丛的结构研究
- 批准号：
18700002 - 财政年份：2006
- 资助金额：
$ 2.41万 - 项目类别：
Grant-in-Aid for Young Scientists (B)
様相論理に基づいたプログラム解析手法の研究
基于模态逻辑的程序分析方法研究
- 批准号：
15700011 - 财政年份：2003
- 资助金额：
$ 2.41万 - 项目类别：
Grant-in-Aid for Young Scientists (B)
様相論理の濾過法に基づく暗黙知の論理的定式化およびその認知の有限的解釈への適用
基于模态逻辑过滤方法的隐性知识逻辑表述及其在认知有限解释中的应用
- 批准号：
09780305 - 财政年份：1997
- 资助金额：
$ 2.41万 - 项目类别：
Grant-in-Aid for Encouragement of Young Scientists (A)
マルチエージェント環境のための様相論理に対する推論システムの研究
多智能体环境下模态逻辑推理系统研究
- 批准号：
08680397 - 财政年份：1996
- 资助金额：
$ 2.41万 - 项目类别：
Grant-in-Aid for Scientific Research (C)
様相論理の部分式特性とその応用
模态逻辑的子表达式性质及其应用
- 批准号：
07640290 - 财政年份：1995
- 资助金额：
$ 2.41万 - 项目类别：
Grant-in-Aid for General Scientific Research (C)
様相論理に基づく知識の表現と推論
基于模态逻辑的知识表示与推理
- 批准号：
63780019 - 财政年份：1988
- 资助金额：
$ 2.41万 - 项目类别：
Grant-in-Aid for Encouragement of Young Scientists (A)
様相論理プログラミングによる時相概念処理の研究
基于模态逻辑编程的时态概念处理研究
- 批准号：
60580020 - 财政年份：1985
- 资助金额：
$ 2.41万 - 项目类别：
Grant-in-Aid for General Scientific Research (C)
様相論理を中心とする非古典論理学の研究とその哲学的諸問題への応用
以模态逻辑为中心的非经典逻辑研究及其在各类哲学问题中的应用
- 批准号：
57710002 - 财政年份：1982
- 资助金额：
$ 2.41万 - 项目类别：
Grant-in-Aid for Encouragement of Young Scientists (A)