Teaching

 

Courses


Choice, Decisions, and Games (80-305/80-605)

  1. Syllabus [updated September 5th]

  2. Problem Set 1 [solutions]

  3. Problem Set 2 [solutions]

  4. Problem Set 3 [solutions]

  5. Problem Set 4 [solutions]

  6. Problem Set 5

  7. Problem Set 6



Formal Methods Seminar (80-603)




Game Theory (80-405/80-705)

  1. Syllabus



Philosophy of Logic and Language (80-387/80-687)

  1. Syllabus



Modal Logic (80-315/80-615)

  1. Syllabus



Seminar on Formal Epistemology (80-521/80-821)

  1. Syllabus




Other Resources


Epistemic Logic and Topology (slides)


Proofs Practice (worksheet)