32 citations · 72 across the 9 of their papers we have counts for
1 paper · 1 filter
Jean Christoph Jung, Carsten Lutz, Mauricio Martel +2
We investigate the decidability and computational complexity of (deductive) conservative extensions in fragments of first-order logic (FO), with a focus on the two-variable fragmen…