Labelled Logics of Defeasible Goals (bibtex)
by Leendert W.N. van der Torre
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.
Reference:
Labelled Logics of Defeasible Goals (Leendert W.N. van der Torre), 1999.
Bibtex Entry:
@Misc{Torre1999f,
  Title                    = {Labelled Logics of Defeasible Goals},

  Author                   = {Leendert W.N. van der Torre},
  Year                     = {1999},

  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.},
  Timestamp                = {2013.07.26},
  Url                      = {http://icr.uni.lu/leonvandertorre/papers/dgnmr99.ps.Z}
}
Powered by bibtexbrowser