Bridges from classical to nonmonotonic logic - Makinson, David 1941- (Kings's College, 2005)