11 citations · 22 across the 4 of their papers we have counts for
1 paper · 2 filters
Matthias Baaz, Mai Gehrke, Sam van Gool
A logic satisfies the interpolation property provided that whenever a formula Δ is a consequence of another formula Γ, then this is witnessed by a formula Θ which only refers to th…