Algebraic semantics for hybrid logics - Willem Conradie; Claudette Robinson (2016)