Uniform Interpolation in Coalgebraic Modal Logic
Uniform Interpolation in Coalgebraic Modal Logic
复制标题
代数模态逻辑中的一致插值
DOI：
10.4230/lipics.calco.2017.21
复制
发表时间：
2017
期刊：
影响因子：
--
通讯作者：
Dirk Pattinson
中科院分区：
文献类型：
--
作者：
Fatemeh Seifan;Lutz Schröder;Dirk Pattinson
登录
查看更多内容
DOI：
--
发表时间：
1996
期刊：
影响因子：
--
作者：
D. Turi
通讯作者：
D. Turi
直觉逻辑的克雷格插值定理及其扩展第三部分
DOI：
--
发表时间：
1977
期刊：
Journal of Symbolic Logic (JSL)
影响因子：
--
作者：
D. Gabbay
通讯作者：
D. Gabbay
余代数逻辑中的割消除
DOI：
10.1016/j.ic.2009.11.008
发表时间：
2010
期刊：
Inf. Comput.
影响因子：
--
作者：
D. Pattinson;Lutz Schröder
通讯作者：
Lutz Schröder
石器时代的形态：余代数逻辑的比较
影响因子：
1.1
作者：
Kurz A
通讯作者：
Kurz A
代数模态逻辑的强完备性
DOI：
--
发表时间：
2009
期刊：
Symposium on Theoretical Aspects of Computer Science
影响因子：
--
作者：
Lutz Schröder;D. Pattinson
通讯作者：
D. Pattinson