List

  Posts

1 2
July 30th, 2022

欢迎申请北京大学”宋文坚逻辑学奖学金”

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

June 25th, 2022

Our paper is accepted at WoLLIC 2022

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

June 21st, 2022

Our joint paper is accepted at MFCS 2022

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

May 13th, 2022

Our paper is accepted at AiML 2022

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

May 5th, 2022

欢迎北大同学报名逻辑学双学位

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

April 1st, 2022

Our paper on epistemic interpretation of inquisitive logic is accepted by APAL

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

March 31st, 2022

欢迎投稿2022年全国现代逻辑学术研讨会

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

March 31st, 2022

I will serve as an associate editor for JPL

From April 1st, 2022, I will join the editorial team of the Journal of Philosophical Logic as an associate editor.

February 28th, 2022

I will be the new director of CLLC

I will be the director of the PKU Center of Logic, Language, and Cognition from March 2022. Many thanks to […]

February 3rd, 2022

Joint paper about modal logical mereology is finally published on RSL

The joint paper with Dazhu Li is about using modal logic to capture the usual mereology theories. It has been […]