Hybrid Logics on Linear Structures: Expressivity and Complexity

FRANCESCHET, Massimo

M. DE RIJKE

HOLGER SCHLINGLOFF