欢迎全校在读的本科生及硕士生申请，详情请见通知.

In this joint paper, we basically map the terrain of the (un)decidability of various (generalizations of) bundled fragments of first-order […]

Our joint paper on the epistemic interpretation of tensor disjunction is accepted at this year’s Advances in Modal Logic. This […]

详情请见这里，以及教务部的通知。

This is the beginning of a series of works by Haoyu, Yunsong, and me looking at non-classical logics from an […]

今年的现代逻辑会在济南开，感谢山大的逻辑学团队，感谢PC Chair 琚凤魁，欢迎大家投稿!

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 […]