List

I organized a subpanel on Logic and AI at Beijing Forum 2024 on Nov 3rd, featuring 4 excellent speakers: Beishui Liao, Fenrong Liu, Chuang Ye, and Yi Wang.

Leave a Reply

Your email address will not be published. Required fields are marked *

  Posts

1 2 3
June 9th, 2023

Joint paper to appear in Information & Computation

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

April 16th, 2023

I will give a keynote talk at CLAR 2023

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

April 16th, 2023

I serve as a PC member for two workshops

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

January 26th, 2023

Our paper on WAML and Hypergraph is published by Synthese

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

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