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