Possible world semantics for autoepistemic logic - Moore, Robert C. (CSLI, 1985)