Las lógicas que formalizan razonamiento por defecto pueden ser divididas tajantemente en dos categorías: lógicas capaces de manejar suposiciones arbitrarias por defecto (lógica por defecto, lógica retractable, y "answer set programming") y lógicas que formalizan la específica suposición por defecto de que los hechos que no se saben verdaderos pueden ser asumidos como falsos por defecto ("closed world assumption" y circunscripción).