Defeasible Inheritance and Reference Classes

Throughout, we work in a defeasible reasoning framework, and in finite propositional languages.