. . . "ML-systems are argued to formalize naturally and elegantly notions like belief, knowledge and, more in general, various forms of propositional attitudes." .