Natural deduction calculi and sequent calculi for counterfactual logics
scientific article; zbMATH DE number 6644700
scientific article