Counterfactuals (Q5917372)

The inclusion of the formulae \((A > B) \vee (A> -B)\) and \((A \& B) \supset(A> B)\) as theorems of conditional sentential calculi is criticised and reasons are offered for including \(\square(A\supset B)\supset . (B> C) \supset . \diamond (A \& C) \supset .(A> C)\) as a theorem in such calculi. Two new calculi are developed which incorporate these suggestions, and proof sketches of the decidability of both are presented using algebraic methods.