On the Proof-Theory of two Formalisations of Modal First-Order Logic. - Yehuda Schwartz; George Tourlakis (Stud Logica, 2010)