Ang lohikang default , lohikang hindi monotoniko at sirkumpskripsiyon ay mga anyo ng lohika na dinisenyo upang makatulong sa pangangatwiran ng default na pangangatwiran at ang problema ng kwalipikasyon.
