sentences:  The motivation is that formula_7 should assert "The subject "i" has knowledge about formula_8 being true".But it can be used also for formalizing "the subject "i" believes formula_8".For formalization of meaning based on the possible world semantics approach, a multimodal generalization of Kripke semantics can be used