News
Recent research, teaching, and academic activities.
“Preference aggregation in hierarchical voting models and analysis of its normative properties,” with Yixun Zhong, was accepted by Studies in Logic. In Chinese.
Co-taught “Reasoning in graph games: A modal logic study” with Sujata Ghosh at the 37th European Summer School in Logic, Language and Information in Prague.
“A modal approach towards substitutions,” with Yaxin Tu, Sujata Ghosh, and Fenrong Liu, was published in Annals of Pure and Applied Logic.
“On the logic of the hide and seek game,” with Qian Chen, was published in Journal of Logic, Language and Information.
Presented “Cops only need factual knowledge to catch robbers” at KR 2026 in Lisbon.
Graph Games and Logic Design: Recent Developments and Further Directions, edited by Johan van Benthem and Fenrong Liu, was published by Springer. Five papers I co-authored are included in the volume.
“Temporal dependencies in dynamical systems, a modal-style exploration,” with Alexandru Baltag and Johan van Benthem, was published in Journal of Logic, Language and Information.