 A notable family of temporal logics, enriching the traditional framework, are hybrid temporal logics, which combine propositional temporal logic with elements of first-order logic and thereby considerably increase the expressive power of the language.