Key points are not available for this paper at this time.
La classe des logiques défaillantes est définie de manière vague – elle est définie par quelques exemples et l'idée générale d'un raisonnement efficace avec des règles défaillantes. La récente définition de la logique défaillante DL(∂||) a introduit de nouvelles fonctionnalités dans ces logiques, dont nous explorons les répercussions. En particulier, nous définissons une classe de logiques qui accommode la nouvelle logique tout en maintenant les propriétés traditionnelles des logiques défaillantes.
Michael J. Maher (Mon,) a étudié cette question.