Yipu Li and Yanjing Wang: Epistemic Syllogistic: First Steps. To appear in Proceedings of TARK Zilu Wang and Yanjing Wang: […]

We gave an almost complete terrain on the decidability of all the bundled fragments of first-order modal logic in this […]

The 5th International Conference on Logic and Argumentation (CLAR 2023) invites contributions from logic, artificial intelligence, philosophy, computer science, linguistics, […]

ESSLLI 2023 WORKSHOP on First-order Modal and Temporal Logics: State of the art and perspectives  (FOMTL 2023) LICS-affiliated Workshop on The Decision Problem in […]

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

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

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