Tsinghua Tutorial: What makes logic (un)decidable?

What makes logic (un)decidable?

What makes first-order logic undecidable and what makes modal logic decidable? This question can of course be answered in different ways. In this course, we explore one line of research that aims to answer this (and that has also provided a basis for many effective algorithms for reasoning problems in different areas of computer science), namely the study of guarded fragments of first-order logic (and of second-order logic). The guarded fragment of first-order logic was first introduced 25 years ago by Andreka, van Benthem and Nemeti, and is still very much alive today: the study of various aspects of (extensions of) the guarded fragment is still an active area of research up to this day.

Lecturer: Balder ten Cate
Balder ten Cate is a senior researcher at the University of Amsterdam (ILLC). His research spans different applications of logic in computer science and AI, with a particular focus on data management and knowledge representation, as well as computational learning theory. Prior to his current position at the University of Amsterdam, Balder was a software engineer at Google, a computer scientist at LogicBlox, and an Adjunct Professor at UC Santa Cruz and Stanford.

  • Sessions:
  1. Mar 16 (Wed.) 19:00-21:00 (UTC +8);
  2. Mar 18 (Fri.) 19:00-21:00 (UTC +8);
  3. Mar 21 (Mon.) 19:00-21:00 (UTC +8);
  4. Mar 23 (Wed.) 19:00-21:00 (UTC +8);
  5. Mar 25 (Fri.) 19:00-21:00 (UTC +8).
  • Format: online