Epistemic Logic: Foundations and Applications
Epistemic Logic: Foundations and Applications
复制标题
认知逻辑：基础和应用
DOI：
--
复制
发表时间：
2022
期刊：
影响因子：
--
通讯作者：
Mamoru Kaneko
中科院分区：
文献类型：
--
作者：
小手川正二郎;河野哲也;関本幸;池田喬;Katsuhiko Sano;天田悠;天田悠;Mamoru Kaneko
登录
查看更多内容
所有 MV 代数变体的方程表征
影响因子：
0.9
作者：
A. Nola;A. Lettieri
通讯作者：
A. Lettieri
动态代数：示例、构造、应用
影响因子：
0.7
作者：
V. Pratt
通讯作者：
V. Pratt
动态代数和归纳法的本质
DOI：
10.1145/800141.804649
发表时间：
1980
期刊：
Notre Dame J. Formal Log.
影响因子：
--
作者：
V. Pratt
通讯作者：
V. Pratt
多智能体系统的几何方面
影响因子：
0.7
作者：
T. Porter
通讯作者：
T. Porter
多值 Lukasiewicz 模态系统和关系语义的完整性结果
DOI：
--
发表时间：
2006
期刊：
arXiv: Logic
影响因子：
--
作者：
G. Hansoul;B. Teheux
通讯作者：
B. Teheux