Non-Monotonic Logic

Coming soon!