Title: Hybrid Logic and its Proof-Theory
Subjects: Philosophy (General), Symbolic and mathematical Logic, Computer science, Logic, Proof theory, Logic, symbolic and mathematical, Philosophy, Mathematical Logic and Formal Languages, Mathematical Logic and Foundations