Xin Zhou | Omega-krr Group/en/author/xin-zhou/Xin ZhouHugo Blox Builder (https://hugoblox.com)en-USMon, 29 Jul 2024 00:00:00 +0000/en/author/xin-zhou/avatar_hu_4fefdaef2078133a.jpegXin Zhou/en/author/xin-zhou/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/