Interpolation and Definability: Modal and Intuitionistic Logic

By Dov M. Gabbay, L. Maksimova. 2005

187 citations recorded by the source corpus.

View Paper: https://www.semanticscholar.org/paper/fcb24a8f379b65cdbafb8b9664c7a2de06960554