Hennessy-Milner Logic availability

Stream: CSLib

[Bashar Hamade]

Hello , I wanna ask if there is already any formalizations related to HML formulas in cslib?
I wanna work on formalizing a paper concerning behavioral equivalences, and it relies heavily on HML, so I would love to formalize that in case it does not exist

[Fabrizio Montesi]

There isn't, and HML would be great to have!