Variants of temporal defeasible logics for modelling norm modifications