In this chapter we give the basics of hybrid logic. The chapter is structured as follows. In the first section of the chapter we give an informal motivation of hybrid logic. In the second section we give the formal syntax and semantics and we give translations forwards and backwards between hybrid logic and first-order logic. In the third section we discuss the work of Arthur Prior and describe how hybrid logic has its origin in his work. In the fourth section we outline the development of hybrid logic since Prior