Geometric Control Logic