3 papers
cs.LO2025
Interpolation in First-Order Logic
Balder ten Cate, Jesse Comer
In this chapter we give a basic overview of known results regarding Craig interpolation for first-order logic as well as for fragments of first-order logic. Our aim is to provide a…
cs.LO2025
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.LO2025
Lovász Theorems for Modal Languages
Jesse Comer
A famous result due to Lovász states that two finite relational structures and are isomorphic if, and only if, for all finite relational structures , the number of homo…