Proof Methods for Modal and Intuitionistic Logics by Fitting, Melvin