- Time: 2:20 PM-4:55 PM, 8th July-12th July
- Location: Room 3104, Teaching Building No.3, Tsinghua University
- Lecturer: Yde Venema (University of Amsterdam)
- Teaching Assistants: Xi Yang (x-yang23@mails.tsinghua.edu.cn), Zhaorui Hu, Yichen Zhao (zhao-yc23@mails.tsinghua.edu.cn)
- On-campus course name and course number: 人工智能的逻辑基础（00692441-90）
Syllabus
Prerequisites: basics of modal logic (syntax and semantics of polymodal logic, bisimulations)
Course content:
- Introduction: modal fixpoint logics and their game semantics; syntax of the modal mu-calculus
- Game semantics of the modal mu-calculus; bisimulation invariance & tree model property
- Fixpoint theory and compositional semantics of the modal mu-calculus
- Some model theory; finite model property & preservation theorems
- Tableau games and the decidability of the satisfiability problem.