@misc{Torre99labelledlogics,
abstract = {In this paper we study conflicts between goals. In line with negative results obtained in the logic of preference, we argue that most proof rules of the logic of goals - such as strengthening of the antecedent (monotony), transitivity and the conjunction rule - only hold in a restricted sense. We study restricted applicability in Gabbay's labelled deductive systems, and we show how to resolve conflicts in labelled logics of conditional goals.},
author = {Leendert W.N. van der Torre},
title = {Labelled Logics of Defeasible Goals},
url = {http://icr.uni.lu/leonvandertorre/papers/dgnmr99.ps.Z},
year = {1999}
}