Title: Deductive Systems and the Decidability Problem for Hybrid Logics
Subjects: Logic, symbolic and mathematical, Deductive databases