Formal specification of Beliefs in Multi-Agents Systems