I will give a keynote talk at CLAR 2023

List

April 16, 2023 | Yanjing | Uncategorized

The 5th International Conference on Logic and Argumentation (CLAR 2023) invites contributions from logic, artificial intelligence, philosophy, computer science, linguistics, law, and other areas studying logic and formal argumentation. CLAR 2023 will be held 10th-12th September 2023 at Zhejiang University in Hangzhou.

Posts

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

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