Which are the true defeasible logics? | Synapse