This is a supporting website for the following courses that are taught at Tsinghua.

Undergratuate level

• Logic and Thinking
• Logic, Language and Philosophy
• Modal Logic and Its Application
• Foundations of Logic
• Logic, Computation and Games

Gratuate level

• Logic and AI, Spring 2026 （逻辑学专题研究）