David Lewis's Conditional Logic

This is Donald Nute's axiom system (Nute 1984, 396-399) for David K. Lewis's preferred logic for the counterfactual conditional, VC (Lewis 1973, 132):

Rules:

1. Modus ponens.
2. Deduction within the consequent of conditionals: if χ₁…χ_n logically entails ψ, then the conditionals (φ ⇒ χ₁)…(φ ⇒ χ_n) logically entail (φ ⇒ ψ).
3. Interchange of logical equivalents.

Axioms:

1. All truth-functional tautologies.
2. ID: (φ ⇒ φ)
3. MOD: (¬φ ⇒ φ) → (ψ ⇒ φ)
4. CSO: [(φ ⇒ ψ) & (ψ ⇒ φ)] → [(φ ⇒ χ) ↔ (ψ ⇒ χ)]
5. CV: (φ ⇒ ψ) → [((φ & χ) ⇒ ψ) ∨ (φ ⇒ ¬χ)]
6. MP: (φ ⇒ ψ) → (φ → ψ)
7. CS: (φ ⇒ ψ) → (φ ⇒ ψ)

The last two axioms, MP and CS, correspond to weak and strong centering, respectively (in effect, the stipulation that the actual world is one of the most, or uniquely the most, normal of all worlds). For nonmonotonic logic, these conditions, and these two axioms, must be dropped. The fifth axiom, CV, is the object-language correlate of Rational Monotony.