Аннотация:We consider the joint logic of problems and propositions suggested by S. A. Melikhov. We prove that its propositional part is complete with respect to models constructed by S. Artemovand T. Protopopesku for intuitionistic epistemic logic. We also show that this logic conservatively extends the intuitionistic epistemic logic IEL+.