12 citations · 12 across the 3 of their papers we have counts for
1 paper · 2 filters
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…