Davoren, Jen M. and
Goré, Rajeev. 2002.
“Bimodal Logics for Reasoning About Continuous Dynamics.” in
Advances in Modal Logic, volume III, edited by Frank
Wolter, Heinrich Theodor
Wansing, Maarten de
Rijke, and Michael
Zakharyaschev, pp. 91–111. Singapore: World Scientific Publishing Co.