Teaching

  • Advanced Modal Logic

    On the theory of Modal Logic

  • Beyond Knowing That: A New Generation of Epistemic Logics

    On non-standard epistemic logics of know-wh (NASSLLI and ESSLLI courses)

  • Epistemic Logic

    An introduction to epistemic logic

  • Academic Skills

    On various topics of academic skills

  • Logical Dynamics

    An introduction to the logical frameworks for handling information, updates, and interaction

  • Logic in Math, Philosophy, and CS

    An interdisciplinary introduction to logic from the perspective of those three subjects

  • Language, Logic, and Computation

    Joint course with Xuhui Hu and Weiwei Sun aiming at an interdisciplinary introduction to the common core of linguistics, logic and computational linguistics