POSSIBLE WORLDS SEMANTICS FOR DEFAULT LOGICS
Philippe Besnard, Torsten H. Schaub · Fundamenta Informaticae · 1994
We introduce a uniform semantical framework for various default logics in terms of Kripke structures. This possible worlds approach provides a simple but meaningful instrument for comparing existing default logics in a unified setting. The possible w