0 e This monograph gives the first comprehensive and rigorous presentation of default logic and modal nonmonotonic logics, and discusses their connections to each other and to logic programming. Addressed to the Artificial Intelligence community, it sets new standards of scholarship, elegance, and unity of perspective in the field.