Syntax
The syntax of autoepistemic logic extends that of propositional logic by a modal operator indicating knowledge: if is a formula, indicates that is known. As a result, indicates that is known and indicates that is not known.
This syntax is used for allowing reasoning based on knowledge of facts. For example, means that is assumed false if it is not known to be true. This is a form of negation as failure.
Read more about this topic: Autoepistemic Logic