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

Undergraduate level

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

Graduate level

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