non-monotonic logic Synonyms