Non-monotonic Logic

Note