Bisimilarity and refinement for hybrid(ised) logics - Madeira, Alexandre (2013)