The Work Modal logics and topological semantics for Hybrid Systems The details The Author Sergei N. Artemov The offers