A Predicate System of Epistemic Logic with Bacon-formula

• 包含巴肯公式的认知谓词逻辑系统