Retrospectively, I chose the “wrong” option of recording my lectures than simply doing live online teaching when the university asked […]

The workshop is on decidable fragments of first-order modal logic and its variants. We will update the information about the […]

博士位置：http://logic.pku.edu.cn/zsxx/bsszsfx/index.htm 博雅博士后（下一轮申请10.15结束）：https://postdocs.pku.edu.cn/tzgg/101366.htm

The old site was down… I will gradually recover my site here. Sorry for the missing links in the current […]