Revisiting quantification in autoepistemic logic

Michael Kaminski, Guy Rey. Revisiting quantification in autoepistemic logic. ACM Trans. Comput. Log., 3(4):542-561, 2002. [doi]

Abstract

Abstract is missing.