Teaching

 

Courses


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

  1. Syllabus [updated September 5th]

  2. Problem Set 1 [solutions]

  3. Problem Set 2



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)