TY - BOOK AU - Gabbay,D. M. AU - Maksimova,L. TI - INTERPOLATION AND DEFINABILITY SN - 0198511744 U1 - 511.3 PY - 2005/// CY - PB - Clarendon Press, Oxford KW - Interpolation KW - Modality (Logic) KW - Definability Theory (Mathematical Logic) ER -