Craig Interpolation with Clausal First-Order Tableaux

被引：0

作者：

Wernhard, Christoph ^{[1
]}

机构：

[1] Wernhard, Christoph

来源：

Wernhard, Christoph (info@christophwerhard.com) | 1600年 / Springer Science and Business Media B.V.卷 / 65期

关键词：

83;

D O I：

暂无

中图分类号：

学科分类号：

摘要：

Journal article (JA)

引用

页码：647 / 690

共 50 条

[1] Craig Interpolation with Clausal First-Order Tableaux
Wernhard, Christoph
JOURNAL OF AUTOMATED REASONING, 2021, 65 (05) : 647 - 690
[2] Craig Interpolation with Clausal First-Order Tableaux
Christoph Wernhard
Journal of Automated Reasoning, 2021, 65 : 647 - 690
[3] Craig Interpolation for Decidable First-Order Fragments
ten Cate, Balder
Comer, Jesse
FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATION STRUCTURES, PT II, FOSSACS 2024, 2024, 14575 : 137 - 159
[4] Craig Interpolation for Decidable Fragments of First-Order Logic
ten Cate, Balder
32ND EACSL ANNUAL CONFERENCE ON COMPUTER SCIENCE LOGIC, CSL 2024, 2024, 288
[5] The Craig interpolation property in first-order Gödel logic
Tavana, N. R.
Pourmahdian, M.
Khatami, S. M. A.
FUZZY SETS AND SYSTEMS, 2024, 485
[6] First-Order Dialogical Games and Tableaux
Clerbout, Nicolas
JOURNAL OF PHILOSOPHICAL LOGIC, 2014, 43 (04) : 785 - 801
[7] First-Order Dialogical Games and Tableaux
Nicolas Clerbout
Journal of Philosophical Logic, 2014, 43 : 785 - 801
[8] A REFINEMENT OF THE CRAIG-LYNDON INTERPOLATION THEOREM FOR CLASSICAL FIRST-ORDER LOGIC WITH IDENTITY
Milne, Peter
LOGIQUE ET ANALYSE, 2017, (240) : 389 - 420
[9] First-Order Tableaux in Applications (Extended Abstract)
Furbach, Ulrich
AUTOMATED REASONING WITH ANALYTIC TABLEAUX AND RELATED METHODS, 2011, 6793 : 17 - 19
[10] Range-Restricted and Horn Interpolation through Clausal Tableaux
Wernhard, Christoph
AUTOMATED REASONING WITH ANALYTIC TABLEAUX AND RELATED METHODS, TABLEAUX 2023, 2023, 14278 : 3 - 23

← 1 2 3 4 5 →