On the complexity of disjunction and explicit definability properties in some intermediate logics