Strong Forgetting in Hennessy-Milner Logic.

Xin Zhou, Yisong Wang, Renyan Feng, Songhang Xu

Browse the full TASE paper archive.