List

In this paper, following the early steps of Burgess in the 80s, we axiomatize tense logics over (variants of) lattices.

Leave a Reply

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

  Posts

1 2 3
November 11th, 2024

Sub-panel of Beijing Forum on Logic and AI

I organized a subpanel on Logic and AI at Beijing Forum 2024 on Nov 3rd, featuring 4 excellent speakers: Beishui […]

November 10th, 2024

Workshop on Epistemic Logic on the ocassion of Prof. Hans van Ditmarsch’s visit to PKU

Check here for the program.

October 28th, 2024

We hosted the Chinese Annual Conference on Mathematical Logic 2024

We have hosted the Chinese Annual Conference on Mathematical Logic 2024. More than 150 people registered. The conference features one […]

October 19th, 2024

New article about know-how based planning published in AIJ

In this work, Yanjun Li and I introduced two ways of using a powerful know-how based framework to do planning […]

September 11th, 2024

Listed as one of the Most Cited Chinese Researchers by Elsevier

I was listed as one of the Most Cited Chinese Researchers (in Philosophy) by Elsevier in 2023.

September 5th, 2024

2nd Prize of Outstanding Research Award (in Humanities and Social Sciences) of Chinese Universities

The award is given to my paper “A logic of goal-directed knowing how” published by Synthese.

June 19th, 2024

Joint paper accepted by AiML2024

The joint paper Point-set Neighborhood Logic with Junhua Yu has been accepted by Advances in Modal Logic 2024.

June 19th, 2024

I am serving as an associate editor for JoLLI

Starting from June 1st, 2024, I have been an associate editor of Journal of Logic, Language and Information.

March 10th, 2024

I will be teaching Bundled Modalities at ESSLLI24

Here is the preliminary page.

June 9th, 2023

Joint papers accepted at TARK and DEON

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