Brandeis CS 112

Modal, Temporal, and Spatial Logics

  • Syllabus
  • Readings and Class Notes
  • Problem Sets
  • Class News

Readings and Class Notes

Readings for 10/12/18

October 9, 2018Readings and Class NotesKenneth Lai

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

October 5, 2018Readings and Class NotesKenneth Lai

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

Proof template for LaTeX

September 7, 2018Readings and Class NotesKenneth Lai

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).

Recent Posts

  • Problem Set 7
  • Problem Set 6
  • Problem Set 5
  • Problem Set 4
  • Readings for 10/12/18
Proudly powered by WordPress | Theme: StrapVert by WP Strap Code.