This book is a collation of the research on hybrid logic and its proof-theory I have done over a number of years. To be more precise, the book presents a collection of research results originally published in the journal papers listed below. After each paper is an indication of where in the book the results of the paper are presented.