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

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