English Hennessy–Milner logic Cited by user Citation bot on 29 Mar 2023 In computer science, Hennessy–Milner logic (HML) is a dynamic logic used to specify properties of a labeled transition system (LTS), a structure similar to an automaton.