A logical view of nonmonotonicity in access control