On Non-monotonic Conditional Reasoning