Theorem Provers For Every Normal Modal Logic
Theorem Provers For Every Normal Modal Logic
复制标题
每个正规模态逻辑的定理证明
DOI：
10.29007/jsb9
复制
发表时间：
2017
期刊：
影响因子：
--
通讯作者：
C. Benzmüller
中科院分区：
文献类型：
--
作者：
T. Gleißner;A. Steen;C. Benzmüller
登录
查看更多内容
内涵和高阶模态逻辑
DOI：
--
发表时间：
1975
期刊：
影响因子：
--
作者：
D. Gallin
通讯作者：
D. Gallin
一阶模态逻辑的 QMLTP 问题库
DOI：
10.1007/978-3-642-31365-3_35
发表时间：
2012
期刊：
J. Symb. Comput.
影响因子：
--
作者：
Thomas Raths;J. Otten
通讯作者：
J. Otten
一阶模态逻辑证明器的实现和评估
DOI：
--
发表时间：
2012
期刊：
European Conference on Artificial Intelligence
影响因子：
--
作者：
Christoph Benzmüller;J. Otten;Thomas Raths
通讯作者：
Thomas Raths
量化条件逻辑的剪切消除
影响因子：
1.5
作者：
Christoph Benzmüller
通讯作者：
Christoph Benzmüller
模态逻辑一阶和二阶语义的完备性和对应性
DOI：
--
发表时间：
1975
期刊：
影响因子：
--
作者：
Henrik Sahlqvist
通讯作者：
Henrik Sahlqvist