@INPROCEEDINGS{SchmidtTishkovsky02d,
AUTHOR = {Schmidt, R. A. and Tishkovsky, D.},
YEAR = {2002},
TITLE = {Logics with Commuting Action and Informational Modalities},
EDITOR = {Balbiani, P. and Suzuki, N.-Y. and Wolter, F.},
BOOKTITLE = {Advances in Modal Logic, Workshop Proceedings AiML'2002},
PAGES = {91--108},
URL = {http://www.cs.man.ac.uk/~schmidt/publications/SchmidtTishkovsky02d.html},
ABSTRACT = {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.
}
}