Proof Methods for Modal and Intuitionistic Logics