Proof theory for hybrid(ised) logics - Neves, Renato (2016)