Logic, Computation and Games

Fall 2023 Instructor: Johan van Benthem · Undergraduate honors course at Tsinghua University

Courses in Tsinghua-UvA JRC for Logic

Modal Logic and its Applications

Fall 2022 Instructor: Jeremy Seligman · Open course on XuetangX offered by Tsinghua University