Another example of a multimodal logic is the Hennessy–Milner logic, itself a fragment of the more expressive modal μ-calculus, which is also a fixed-point logic.
Un alt exemplu de logică multimodală este logica Hennessy–Milner, ea însăși un fragment din calculul modal μ mai expresiv care este, de asemenea, o logică a punctului.