Interpolation and definability in modal logics modal and intuitionistic logic - Gabbay, Dov M. 1945-; Maksimova, Larisa L. 1943- (Clarendon Press, 2005)
Published to Oxford Scholarship Online: September 2007