Hybrid Logic & its Proof-Theory demonstrates that hybrid-logical proof-theory remedies the lack of uniformity in ordinary modal-logical proof systems. Various versions & proof systems for hybrid logic are considered, providing a detailed overview of the topic.