Reflexive Autoepistemic Logic
Grigori F. Schwarz · Fundamenta Informaticae · 1992
We propose a new variant of autoepistemic logic which, intuitively, corresponds to understanding a belief operator L as “is known”, in contrast to the interpretation of L as “is believed” in Moore’s autoepistemic logic. Formal properties of the new logic and relationship to Moore’s logic are studied in detail.