Intelligent Agents 2

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.