Download " hybrid logic and its proof theory " Book at link Below .