Hybrid Logics on Linear Structures: Expressivity and Complexity