  David Lewis (1973) and others have developed   conditional logics   to handle counterfactual expressions, that is, expressions of the form ‘if \(A\) were to happen then \(B\) would happen’. (Kvart (1980) is another good source on the topic.) Counterfactual logics differ from those based on strict implication because the former reject while the latter accept contraposition.