Abstract
Stable autoepistemic sets are treated as S4 maximal theories. This approach allows to use the Lindenbaum algebra of modal logic as a tool in investigations of existence of a special kind of stable sets. Namely, for a given set A, the algebraic constructions of minimal stable sets based on A and moderately grounded expansions of A are shown.
Get full access to this article
View all access options for this article.