 Various metric extensions of temporal logics over the structure of the real numbers have been proposed as well, giving rise to so-called real-time logics. These logics introduce additional operators, such as the following, which allow for different formalizations of the example sentence “whenever \(p\) holds in the future, \(q\) will hold within three time units later”: