Showing 2023Show all
2 papers · 1 filter
cs.LO2023
Craig Interpolation for Decidable First-Order Fragments
Balder ten Cate, Jesse Comer
We show that the guarded-negation fragment is, in a precise sense, the smallest extension of the guarded fragment with Craig interpolation. In contrast, we show that full first-ord…
cs.LO2023
Craig Interpolation for Guarded Fragments
Balder ten Cate, Jesse Comer
We show that the guarded-negation fragment (GNFO) is, in a precise sense, the smallest extension of the guarded fragment (GFO) with Craig interpolation. In contrast, %we show that…