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 条

[31] First-Order Logic and First-Order Functions
Freire, Rodrigo A.
LOGICA UNIVERSALIS, 2015, 9 (03) : 281 - 329
[32] Clausal Tableaux for Multimodal Logics of Belief
Gore, Rajeev
Nguyen, Linh Anh
FUNDAMENTA INFORMATICAE, 2009, 94 (01) : 21 - 40
[33] Introducing general redundancy criteria for clausal tableaux, and proposing resolution tableaux
Kovasznai, Gergely
Kusper, Gabor
ANNALES MATHEMATICAE ET INFORMATICAE, 2009, 36 : 85 - 101
[34] A bottom-up approach to clausal tableaux
Peltier, Nicolas
AUTOMATED REASONING WITH ANALYTIC TABLEAUX AND RELATED METHODS, PROCEEDINGS, 2007, 4548 : 199 - +
[35] A First-Order Differentiator with First-Order Sliding Mode Filtering
Kikuuwe, Ryo
Pasaribu, Rainhart
Byun, Gyuho
IFAC PAPERSONLINE, 2019, 52 (16): : 771 - 776
[36] THE FIRST-ORDER LOGIC OF CZF IS INTUITIONISTIC FIRST-ORDER LOGIC
Passmann, Robert
JOURNAL OF SYMBOLIC LOGIC, 2024, 89 (01) : 308 - 330
[37] A CLASS OF FIRST-ORDER AND 2ND-ORDER INTERPOLATION PROBLEMS IN MODEL-REDUCTION
REGALIA, PA
MBOUP, M
ASHARIASTANI, M
AEU-INTERNATIONAL JOURNAL OF ELECTRONICS AND COMMUNICATIONS, 1995, 49 (5-6) : 332 - 343
[38] Pose and motion estimation from vision based on the first-order interpolation filter
Wu, XD
Wang, YN
CHINESE JOURNAL OF ELECTRONICS, 2004, 13 (03): : 526 - 531
[39] Efficient and accurate nonlinear model reduction via first-order empirical interpolation
Nguyen, Ngoc Cuong
Peraire, Jaime
JOURNAL OF COMPUTATIONAL PHYSICS, 2023, 494
[40] SOME INTERPOLATION THEOREMS FOR FIRST-ORDER FORMULAS IN WHICH ALL DISJUNCTIONS ARE BINARY
KROM, MR
JOURNAL OF SYMBOLIC LOGIC, 1968, 33 (04) : 642 - &

← 1 2 3 4 5 →