. . . . "non-monotonic logic"@en . . "3"^^ . "2"^^ . "1"^^ . . . . . .