However, Michael Gelfond showed that it is also possible to interpret n o t   p {\displaystyle \mathrm {not} ~p} literally as " p {\displaystyle p} can not be shown", " p {\displaystyle p} is not known" or " p {\displaystyle p} is not believed", as in autoepistemic logic.
Проте, Майкл Гельфонд показав, що n o t   p {\displaystyle \mathrm {not} ~p} також можливо інтерпретувати буквально як « p {\displaystyle p} не може бути показано», « p {\displaystyle p} є невідомим», « p {\displaystyle p} не є переконливим», як в автоепістемній логіці.