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