If a logic includes formulae that mean that something is not known, this logic should not be monotonic.
Якщо логіка включає в себе формули, які означають, що щось невідомо, ця логіка не повинна бути монотонною.