Only-Knowing and Autoepistemic Logic

This chapter contains section titled: Examples of autoepistemic reasoning in OL, Stable sets and stable expansions, Relation to stable sets, Relation to stable expansions, Computing stable expansions, Non-reducibility of OL, Generalized stability, Bibliographic notes, Where do we go from here?, Exercises