Nonmonotonic logic

1. REDIRECT Non-monotonic logic

{{R from modification}}