Natural Deduction Calculi and Sequent Calculi for Counterfactual Logics