sentences:  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.Multimodal logic can be used also to formalize a kind of knowledge representation