In this joint paper, we connect the following four topics: a class of generalized graphs whose relations do not have […]

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

In this paper, following the early steps of Burgess in the 80s, we axiomatize tense logics over (variants of) lattices.

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