===Restrictions=== ===Entailment=== A default theory can have zero, one, or more extensions. Entailment of a formula from a default theory can be defined in two ways: ==Translations== Default theories can be translated into theories in other logics and vice versa. The following conditions on translations have been considered: Translations are typi...