Reasonings on knowledge and the omniscience problem. A part 2: introduction temporal parameter in a meta language

In the second part of article the review of the logic systems formalizing reasonings on knowledge in which the approach to the decision of a omniscience problem in which basis introduction, temporal parameter in a meta language lays is realized is carried out. As against the modal approach considered in the first part of article, the given approach to the decision of a omniscience problem is not connected to any restrictions of deductive abilities of the intellectual agent, whose behaviour is described by logic systems, this approach realizing. Besides such agent during the reasonings is capable to estimate a time resource available at it that is especially important for rigid real times intellectual systems.