In autoepistemic logic, which rejects the law of excluded middle, predicates may be true, false, or simply unknown

While propositional logic can only express facts, autoepistemic logic can express knowledge and lack of knowledge about facts.

The autoepistemic logic is a formal logic for the representation and reasoning of knowledge about knowledge.