Abstract: Formal logics in AI have grown from the simple proposition logic to modal logic series, which are more complicated. However, the complexity of existing logics is not sufficient for describing the mental states of Agent. Some AI researchers introduce multi

Key words: Formal logics, BDI logics, Multi modal logics, Fibring logics