The present paper deals with the logical omniscience problem in epistemic logic and the methods to resolve it and presents a kind of epistemic logic called EL, which can avoid the logical omniscience, and gives its semantic rules and its axioms.

• 摘要分析认知逻辑中的逻辑全知问题及其解决方法，提出一种可以避免逻辑全知的认知逻辑EL，并给出其语义和公理系统。