В статье проведен обзор эпистемической модальной логики, формализующей рассуждения о знаниях. Особое внимание уделено связанной с эпистемической логикой так называемой проблеме логического всеведения и попыткам ее преодоления в рамках модального подхода. Анализ показал, что по способу решения данной проблемы эти попытки образуют два направления. Одно из них основано на искусственном ослаблении дедуктивных возможностей агента, другое направление имеет в своей основе введение в логический язык специальных модальных операторов, трактуемых как «ментальные усилия», необходимые для получения какого-либо знания, выраженного в виде логических формул. Обосновывается необходимость введения провалов значения в рассмотрение эпистемических контекстов для выражения незнания в некотором мире. Предлагается построение эпистемической трехзначной логики, третьим значением которой является провал значения.

We made a revision of epistemic modal logics formalizing knowledge judgments in the article. Special attention is paid to the omniscience problem and to the different types of solving it in modal epistemic logic. The analysis showed that we could form two general types of epistemic logics, which try to overcome the omniscience problem in the epistemic modal logic. The first type of epistemic logic solves omniscience problem by reducing deductive capacities of agents. The second one solves it by introduction of additional operator interpreted as mental efforts, which are necessary to deduce new knowledge expressed in logic formulae. We prove that it is necessary to introduce meaning gaps in the system of epistemic modal logic to express a lack of knowledge in some world. We offer to build an epistemic three-digit logic, the third meaning will be a meaning gap.