Stav dette: Razonamiento revocable y lógicas no monótonas