 Branching time versions of hybrid temporal logics have been investigated as well. For an overview of varieties of hybrid temporal logics and their historical development, see Blackburn and Tzakova (1999) and the entry on  hybrid logic.