English Hennessy–Milner logic Cited by user 145.18.221.12 on 06 Feb 2018 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.