Another variant of the HML involves the use of recursion to extend the expressibility of the logic .
Another variant of the HML is commonly referred to as ' Hennessy - Milner Logic with recursion ' .
Another variant of the HML involves the use of recursion to extend the expressibility of the logic , and is commonly referred to as ' Hennessy - Milner Logic with recursion ' .