Non-monotonic logic I

Open in new window