A counterfactual conditional is a statement of the form “If A were the case, then B would be the case.” Despite their ubiquity in everyday reasoning, science, and law, their formal analysis remains challenging.
This talk develops a logico-algebraic perspective on counterfactual conditionals, connecting the standard possible-worlds semantics to residuated structures and many-valued logics. We show how algebraic methods shed new light on well-known axioms and open problems in the field.