非単調論理
何かを知らないという事実を含む論理は単調でないと考えられる。というのも、新たな知識を獲得したとき、それを知らないという事実が削除されるからである。このような追加による削除が単調性に反している。このような論理として自己認識論理がある。