Three regular papers and one short paper by members and students of the logic group (and their collaborators) were accepted at Advances in Modal Logic 2024 held in Prague. 

Regular papers:

Yifeng Ding and Yipu Li: Some General Completeness Results for Propositionally Quantified Modal Logics

Yanjing Wang and Junhua Yu: Point-Set Neighborhood Logic

Yuanzhe Yang: A First-order Modal Logic of Strict Implication on Varying-Domain Models

Short presentation:

Wen Tang and Yanjing Wang: Substitution as Modality

Background: Advances in Modal Logic is the flagship international conference on modal logic, which is held biannually. Since 2012, 11 regular papers from the PKU logic group have been accepted by the previous 7 AiML.

Group photo with Prof Xuefeng Wen from SYSU and his former student (右2 右1)