Some tendencies in non-monotonic reasoning - Dix, Jürgen 1961-