The old site was down… I will gradually recover my site here. Sorry for the missing links in the current pages.

6 Responses to “My new site”

  1. 伍岳轩


  2. sgwyj


  3. Sorella Lucia

    K[a]p → [a]Kp, < a > Kp → K[a]p这两个公式的直观解读是什么呢,按知之为知之不知为不知那个系列的来

  4. Chara Li


    • sgwyj

      你看看在teaching的academic skill里:

Leave a Reply

Your email address will not be published.


1 2
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


今年的现代逻辑会在济南开,感谢山大的逻辑学团队,感谢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 […]

December 16th, 2021

Our LiCS-affiliated workshop proposal is accepted as part of FLoC 2022

The workshop is on decidable fragments of first-order modal logic and its variants. We will update the information about the […]

May 3rd, 2020

Recording a technical lecture without video editing

Retrospectively, I chose the “wrong” option of recording my lectures than simply doing live online teaching when the university asked […]

October 7th, 2019


  博雅博士后(下一轮申请9.1开始): 如有意向请提前联系