Hennessy-Milner Logic

From dankwiki