The syntax of autoepistemic logic uses a modal operator that allows us to distinguish between what is true and what is believed.
Синтаксис автоепістемної логіки використовує модальний оператор, який дозволяє розрізняти, що є істинним, а чому вірять.