@INCOLLECTION{SchmidtTishkovsky03a,
AUTHOR = {Schmidt, R. A. and Tishkovsky, D.},
YEAR = {2003},
TITLE = {Combining Dynamic Logic with Doxastic Modal Logics},
EDITOR = {Balbiani, P. and Suzuki, N.-Y. and Wolter, F. and Zakharyaschev, M.},
BOOKTITLE = {Advances in Modal Logic, Volume 4},
CHAPTER = {18},
PUBLISHER = {King's College London Publications},
PAGES = {371--391},
URL = {\url{http://www.cs.man.ac.uk/~schmidt/publications/SchmidtTishkovsky03a.html}},
ABSTRACT = {
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.
}
}