Abstract
In this paper we expand the results on existence and uniqueness of stable autoepistemic expansions for finite stratified autoepistemic theories to the infinite case. We also introduce a notion of the closed world completion of autoepistemic theory T, which can be viewed as an autoepistemic version of Closed World Assumption. We describe a class of autoepistemic theories called strongly stratified and prove that closed world completions of such theories have consistent stable autoepistemic expansions.
Get full access to this article
View all access options for this article.