We prove completeness and decidability for a family of combinations of propositional dynamic logic and unimodal doxastic logics with commuting modalities and which satisfy a Church-Rosser axiom. We investigate the influence of the substitution rule on the properties of these logics and propose a new semantics for the test operator to avoid unwanted side effects of the interaction of the classic test operator with the extra axioms.