Xu Li

Xu Li

PhD student in logic

Teaching

Intelligent Agents 1

Graduate course, University of Luxembourg, Department of Computer Science, 2025

I was the TA for the first part of the course, in which we introduce modal logic (including syntax, semantics, and proof theories) and its different branches like epistemic logic, temporal logic, and first order modal logic.

Intelligent Agents 2

Graduate course, University of Luxembourg, Department of Computer Science, 2025

This course introduces three formalisms in deontic logic: Monadic Deontic Logic, Dyadic Deontic Logic, and Input/Output Logic. I was the TA for the course.