Bimodal logics for reasoning about continuous dynamics (2002)

by J Davoren, R Goré
Venue:In Advances in Modal Logic