Appendix 2 Valid and Invalid Inference Rules for Counterfactuals
| Valid | Invalid |
|---|---|
| ϕ | ϕ □→ χ, χ |
| ϕ | □[ϕ ⊃ χ], χ |
| ϕ | ϕ |
| □[ϕ ≡ χ], χ | |
| ϕ | |
| χ | |
| χ | |
| □[ϕ ⊃ ψ] ⊨ ϕ |
(Further valid and invalid inference rules involving counterfactuals can be found in Lewis Reference Lewis1973b: 31–36 and Reference Lewis1973c.)