Interpolation and Definability: Modal and Intuitionistic Logic. Number 46 in Oxford Logic Guides (2005)

by D M Gabbay, L Maksimova