@ARTICLE{SchmidtTishkovsky02b,
AUTHOR = {Schmidt, R. A. and Tishkovsky, D.},
YEAR = {2002},
TITLE = {On Axiomatic Products of {PDL} and {S5}: Substitution, Tests and Knowledge},
JOURNAL = {Bulletin of the Section of Logic},
VOLUME = {31},
NUMBER = {1},
PAGES = {27--36},
URL = {http://www.cs.man.ac.uk/~dmitry/papers/BSL2002/bsl2002.ps.gz}
}