Hybrid Modal Logics. The deduction systems presented in the book may be of interest to