Readings for 10/12/18 are posted on LATTE. They are:

von Fintel – Counterfactuals in a Dynamic Context

Galles and Pearl – An Axiomatic Characterization of Causal Counterfactuals

Briggs – Interventionist counterfactuals

Readings for 10/9/18 are posted on LATTE. They are:

Stalnaker – A Theory of Conditionals

Lewis – Counterfactuals (read chapter 1)

Kratzer – Partition and Revision: The Semantics of Counterfactuals

For those of you who want to write your proofs in LaTeX, a template you can use is now available here. It requires the logicproof package (.sty file included, source files also available here).