Proof-theoretic study of multi-agent interaction via many-dimensional and many-sorted logics
Proof-theoretic study of multi-agent interaction via many-dimensional and many-sorted logics
通过多维多分类逻辑进行多主体交互的证明理论研究
批准号：
15K21025
负责人：
Sano Katsuhiko
金额：
$2.58万
依托单位国家：
日本
项目类别：
Grant-in-Aid for Young Scientists (B)
财政年份：
2015
资助国家：
日本
项目状态：
已结题
起止时间：
2015-04-01 至 2019-03-31
中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
期刊论文(60)
专著(0)
科研奖励(0)
会议论文
登录
查看更多内容
Sequent Calculi for Normal Update Logics
正常更新逻辑的顺序计算
正常更新逻辑的顺序计算
DOI：
10.1007/978-3-662-58771-3_13
发表时间：
2019
期刊：
Lecture Notes in Computer Science
影响因子：
--
作者：
[Kyyoul Yun, Masaki Hirano, Shunji Yanase and Yutaka Ohya, Katsuhiko Sano and Minghui Ma]
通讯作者：
Katsuhiko Sano and Minghui Ma
Teaching Modal Logic from the Linear Algebraic Viewpoint
从线性代数的角度教授模态逻辑
从线性代数的角度教授模态逻辑
DOI：
--
发表时间：
2017
期刊：
The IfColog Journal of Logics and their Applications (FLAP)
影响因子：
--
作者：
[Ryo Hatano, Katsuhiko Sano, and Satoshi Tojo]
通讯作者：
and Satoshi Tojo
DOI：
10.4230/lipics.csl.2015.292
发表时间：
2015
期刊：
24th EACSL Annual Conference on Computer Science Logic (CSL 2015), Stephan Kreutzer editor, Leibniz International Proceedings in Informatics (LIPIcs)
影响因子：
--
作者：
[Pimolluck Jirakunkanok, Katsuhiko Sano and Satoshi Tojo, Katsuhiko Sano and Jonni Virtema]
通讯作者：
Katsuhiko Sano and Jonni Virtema
DOI：
--
发表时间：
2014
期刊：
影响因子：
--
作者：
[Shoshin Nomura, Katsuhiko Sano and Satoshi Tojo]
通讯作者：
Katsuhiko Sano and Satoshi Tojo
`Valuing Others’ Opinions: Preference, Belief and Reliability Dynamics
“重视他人的意见：偏好、信念和可靠性动态”
“重视他人的意见：偏好、信念和可靠性动态”
DOI：
10.5220/0006204806150623
发表时间：
2017
期刊：
Proceedings of the 9th International Conference on Agents and Artificial Intelligence (ICAART 2017)
影响因子：
--
作者：
[Ryo Hatano, Katsuhiko Sano, and Satoshi Tojo, Sujata Ghosh and Katsuhiko Sano]
通讯作者：
Sujata Ghosh and Katsuhiko Sano
共 47 条