On Interpolation in Existence Logics.

Matthias Baaz, Rosalie Iemhoff

Browse the full LPAR paper archive.