AOL: a logic of acting, sensing, knowing, and only knowing
All I know: a study in autoepistemic logic