2022 Spring
Axiomatic Set Theory, Introduction to Logic
2022 Fall
Modal Logic
2023 Spring
Axiomatic Set Theory, Introduction to Logic
2023 Fall
Modal Logic, Foundations of Computability Theory
2024 Spring
Social Choice Theory, Introduction to Logic
2024 Fall
Modal Logic
2025 Spring
Introduction to Logic, Topics in Philosophical Logic (Higher-Order Logic)
2025 Fall
Modal Logic, Foundations of Computability Theory
2026 Spring
Introduction to Logic, Social Choice Theory