A Model-Theoretic Approach to Belief Revision in Multi-Agent Belief Logic and Its Syntactic Characterizations. - Aiting Liang; Yongmei Liu 001 (ECAI, 2023)

Epistemic JAADL: A Modal Logic for Joint Abilities with Imperfect Information. - Zhaoshuai Liu; Aiting Liang; Yongmei Liu 001 (ECAI, 2023)