Interpolation And Definability Modal And Intuitionistic Logics