a formalization of natural language conditionals.

* Antecedent strengthening:

Possible worlds accounts

The most common logical accounts of counterfactuals are couched in a conditional logic using possible world semantics. Broadly speaking, these approaches have in common that they treat a counterfactual A > B as true if B holds across some set of possible worlds where A is true. They vary mainly in how they identify

1.Previous
3.Next