55 citations · 114 across the 15 of their papers we have counts for
4 papers · 1 filter
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…
Preservation theorems for Tarski's relation algebra
Bart Bogaerts, Balder ten Cate, Brett McLean +1
We investigate a number of semantically defined fragments of Tarski's algebra of binary relations, including the function-preserving fragment. We address the question whether they…
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…
Characterising Modal Formulas with Examples
Balder ten Cate, Raoul Koudijs
We study the existence of finite characterisations for modal formulas. A finite characterisation of a modal formula is a finite collection of positive and negative examples tha…