Tsinghua University – University of Amsterdam Joint Research Centre for Logic

Call for Participation: The 4th Tsinghua Logic Summer School (time rescheduled)

The Tsinghua University University of Amsterdam Joint Research Centre for Logic initiated a Logic Summer School Program in the year 2021. The program is primarily aimed at advanced undergraduate students, graduate students, and early career researchers in philosophy, computer science, mathematics, linguistics, cognitive sciences, and so on. Students and colleagues can learn here about the latest developments in logic interfacing with the aforementioned disciplines, including their theoretical results and technical backgrounds. The courses are particularly designed to supplement the logic courses that are taught in the usual curriculum.
  • Time: 8th-12th, July, 2024
  • Venue: Tsinghua University, Beijing, China
  • Format: Offline courses


Lecturer: Maria Aloni (The University of Amsterdam)

Time: July 8st-12th

Abstract: In team semantics, formulas are interpreted with respect to a set of points of evaluation (a team) rather than single points. In the course we will present 3 examples of team-based logical systems: Bilateral State-based Modal Logic (Aloni 2022); Inquisitive Logic (Ciardelli, Groenendijk and Roelofsen 2019) and Dependence Logic (Väänänen 2007); and discuss their linguistic and philosophical applications, which include:

  • Bilateral State-based Modal Logic: ignorance and free choice inference, epistemic modals and epistemic contradiction;
  • Inquisitive Logic: questions and attitude verbs;
  • Dependence Logic: exceptional scope of indefinites, marked indefinites cross-linguistically.

Lecturer: Yde Venema (The University of Amsterdam)

Time: July 8th-12th

Abstract: The modal μ-calculus is an extension of basic modal logic with least- and greatest fixpoint operators, which enable the expression of various kinds of recursive phenomena in the language. The logic has many applications, and a rich theory with many links to other areas such as algebra, order, infinite games, and automata. 

The course will give a general introduction to the theory of the modal μ-calculus. We start with introducing the syntax and game semantics of the logic, and we link this to the algebraic semantics which is based on the theory of fixpoint operators. We discuss some model-theoretic results (including bisimulation invariance and the finite model property), and introduce some derivation systems.

*Depending on their interests, participants can register for one or both courses. For participants who attend and complete the course, the Joint Research Centre will award a certificate of completion. Students with a passion for logic are encouraged to participate.


To attend the courses, registration is required, though no registration fee will be charged. The participants have to take care of their own expenses.

To register, please first check the information page for each course to make sure that you are familiar with the required preliminary knowledge. Then, please

  • fill the registration form, and
  • name a reference person, who needs to send us (scw@mail.tsinghua.edu.cn) an email confirming your registration information.

To ensure better teaching and learning experience, for each course we will accept only around 30 students.

  • Deadline for registration: March 10th
  • Notification of acceptance: March 15th

The priority will be given to master students and undergraduate students.

Please contact Chenwei Shi ( scw@mail.tsinghua.edu.cn ) if you have any questions.