This is the beginning of a series of works by Haoyu, Yunsong, and me looking at non-classical logics from an […]
From April 1st, 2022, I will join the editorial team of the Journal of Philosophical Logic as an associate editor.
I will be the director of the PKU Center of Logic, Language, and Cognition from March 2022. Many thanks to […]
The joint paper with Dazhu Li is about using modal logic to capture the usual mereology theories. It has been […]
The workshop is on decidable fragments of first-order modal logic and its variants. We will update the information about the […]
Retrospectively, I chose the “wrong” option of recording my lectures than simply doing live online teaching when the university asked […]