Abstract: Firstly, we construct the epistemic systems EK1-EK3, give some results of their proof theory.

• 文章摘要: 首先，我们构造认知系统EK1-EK3，给出它们的一些证明论结果。