Songhang Xu | Omega-krr Group/en/author/songhang-xu/Songhang XuHugo Blox Builder (https://hugoblox.com)en-USMon, 29 Jul 2024 00:00:00 +0000/en/author/songhang-xu/avatar_hu18293878601525218149.jpegSonghang Xu/en/author/songhang-xu/Strong Forgetting in Hennessy-Milner Logic/en/publication/strong-forgetting-in-hennessy-milner-logic/Mon, 29 Jul 2024 00:00:00 +0000/en/publication/strong-forgetting-in-hennessy-milner-logic/