A DEFAULT LOGIC BASED ON EPISTEMIC STATES
John-Jules Meyer, Wiebe van der Hoek · Fundamenta Informaticae · 1995
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.