Abstract
In this paper we indicate how default logic can be based on epistemic logic, and particularly how we may employ Halpern & Moses' minimal epistemic states for this purpose. In this way we obtain a simple and natural S5-based logic for default reasoning that appears to be cumulative in the sense of Kraus, Lehmann and Magidor.
Get full access to this article
View all access options for this article.