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 the smallest extension of the two-variable fragment (FO2) with Craig interpolation is full first-order logic.

Knowledge Graph

arrow_drop_up

Comments

Sign up or login to leave a comment