Abstract
An embedding of minimal sets for default theories into nonmonotonic and nonmonotonic ground logics based on S4 and S5 is presented.
Get full access to this article
View all access options for this article.
Select search scope: search across all journals or within the current journal
An embedding of minimal sets for default theories into nonmonotonic and nonmonotonic ground logics based on S4 and S5 is presented.
View all access options for this article.