Source: wikibot/non-monotonic-logic

= Non-monotonic logic
{wiki=Non-monotonic_logic}