Taming Frankenstein's Logic

In recent years the research into hybrid logic ha.s taken flight; a number of advances have been made in axiomatizing, proof systems, completeness results and other areas. In this thesis we develop a theorem prover for infinitary hybrid logic and treat the necessary theory to achieve this.