A logical theory for conditional weak ontic necessity based on context update