@TECHREPORT{SchmidtTishkovsky03b,
AUTHOR = {Schmidt, R. A. and Tishkovsky, D.},
YEAR = {2003},
TITLE = {Combining Dynamic Logic with Doxastic Modal Logics},
TYPE = {Preprint},
NUMBER = {CSPP-23},
INSTITUTION = {University of Manchester},
ADDRESS = {UK},
NOTE = {The short version is to appear in \emph{Advances in Modal Logic, Volume 4}},
URL = {\url{http://www.cs.man.ac.uk/~schmidt/publications/SchmidtTishkovsky03a.html}},
ABSTRACT = {
We prove completeness and decidability results
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 three forms of commuting
axioms, namely, axioms similar to the axiom of perfect recall and the
axiom of no learning 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.
}
}