Craig Interpolation for Guarded Fragments

04/17/2023
by   Balder ten Cate, et al.
0

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, (FO2) with Craig interpolation is full first-order logic.

READ FULL TEXT

Please sign up or login with your details

Forgot password? Click here to reset