Closure axioms
Default logic
Entailment by model selection
Circumscription