Kripke semantics for the logic of problems and propositions