1 paper · 1 filter
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…