27 citations · 64 across the 13 of their papers we have counts for
1 paper · 1 filter
Sam van Gool
Uniform interpolation is a strengthening of interpolation that holds for certain propositional logics. The starting point of this chapter is a theorem of A. Pitts, which shows that…