Email Record: Hybrid logic and its proof-theory /