 So far we have discussed the traditional family of temporal logics, but there are numerous variations and alternative developments that provide useful formalisms for various applications. We briefly present some of them here: hybrid temporal logics, metric and real-time temporal logics, and quantified propositional logics.