Axiomatization of Hybrid Logic of Link Variations. - Penghao Du; Qian Chen (DaLí, 2023)