Nem monoton logikák
A logikák azon megoldásait, amelyek a most vázolt feltételeket kezelik és mintegy leképezik a valós világnak nem egységes következtetési rendjeit, nem monoton logikáknak nevezik és ezek számára széles reprezentációs eszközrendszert fejlesztettek ki. Azonban a nem monoton logikák is a hagyományos logika alapjaira épülnek.