We prove completeness and decidability for a family of combinations of propositional dynamic logic and unimodal doxastic logics in which the modalities may interact. The kind of interactions we consider include two forms of commuting axioms, namely, an axiom similar to the axiom of perfect recall from temporal logic and 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 caused by the interaction of the classic test operator with the extra axioms.
The preprint version is available as Preprint CSPP-23, University of Manchester, UK. PostScript, BiBTeX.