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