A dynamic Investigation of multi-agent interaction via multi-dimensional hybrid logic

通过多维混合逻辑进行多智能体交互的动态研究

• 批准号: 24700146
• 负责人: SANO Katsuhiko
• 金额: $ 2.91万
• 依托单位: Japan Advanced Institute of Science and Technology
• 依托单位国家: 日本
• 项目类别: Grant-in-Aid for Young Scientists (B)
• 财政年份: 2012
• 资助国家: 日本
• 起止时间: 2012-04-01 至 2015-03-31
• 项目状态: 已结题
• 来源: https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-24700146/
• 关键词: 様相論理; 動的認識論理; ハイブリッド論理; 証明論; クリプキ意味論; マルチエージェント; Dynamic Epistemic Logic; Modal Logic; Hybrid Logic; Agent Communication; 中国; エージェント通信; チャネル

项目成果

Extensions of Basic Propositional Logic

基本命题逻辑的扩展

• DOI: 10.1142/9789814678001_0011
• 发表时间: 2015
• 期刊: Proceedings of the 13th Asian Logic Conference
• 作者: Pimolluck Jirakunkanok;Katsuhiko Sano and Satoshi Tojo;Minghui Ma and Katsuhiko Sano
• 通讯作者: Minghui Ma and Katsuhiko Sano

Revising a labelled sequent calculus for Public Announcement Logic

修改公告逻辑的标记序列演算

• 发表时间: 2014
• 作者: Shoshin Nomura;Katsuhiko Sano and Satoshi Tojo
• 通讯作者: Katsuhiko Sano and Satoshi Tojo

Tableaux for Non-normal Public Announcement Logic

• DOI: 10.1007/978-3-662-45824-2_9
• 发表时间: 2015-01
• 作者: Minghui Ma;Katsuhiko Sano;François Schwarzentruber;F. R. Velázquez-Quesada

An Expansion of First-order Belnap-Dunn Logic

一阶 Belnap-Dunn 逻辑的扩展

• 发表时间: 2011
• 作者: Sano;K.;Omori;H.
• 通讯作者: H.

da Costa meets Belnap and Nelson

达科斯塔会见贝尔纳普和纳尔逊

• DOI: 10.1007/978-3-319-06080-4_11
• 发表时间: 2014
• 期刊: Recent Trends in Philosophical Logic, Proceedings of Trends in Logic XI
• 作者: Minghui Ma;Katsuhiko Sano;Francois Schwarzentruber and Fernando R. Velazquez-Quesada;Katsuhiko Sano and Hitoshi Omori;Hitoshi Omori and Katsuhiko Sano
• 通讯作者: Hitoshi Omori and Katsuhiko Sano