Source: /wikibot/hennessy-milner-logic

= Hennessy–Milner logic
{wiki=Hennessy–Milner_logic}