On maximal intermediate logics with the disjunction property (Q1097260)

This paper gives a good survey for the disjunction property DP in the field of the intermediate logics. Some of the new results in the paper are that an algebraic formulation of DP is given and that the Medvedev logic ML is proved to be maximal among the logics with DP. The author mentions a problem: does there exist a finitely axiomatizable logic which is maximal among the intermediate logics with DP?