Preference logic - Hansson, Rengt (1970)