Eckardt, R. Modal Default Reasoning. Proceedings of the AC 1997, 103-108.