Reasonings on knowledge and the logical omniscience problem. Part I. Modal approach

In clause the review epistemic modal logics, formalizing reasonings on knowledge is lead. The special attention is given to the problem connected to them so-called logical omniscience and to attempts of its overcoming within the framework of the modal approach. The analysis has shown, that on a way of the decision of the given problem these attempts form two directions. One of them is based on artificial easing of deductive opportunities of the agent, other direction has in the basis introduction in logic language of the special modal operators treated as reasoning actions, necessary for receiving some knowledge expressed as logic formulae.