ISSN:
1572-8730
Schlagwort(e):
deontic logic
;
conflicting obligation
;
partial ordering
;
modal logic
;
urgency comparison
Quelle:
Springer Online Journal Archives 1860-2000
Thema:
Mathematik
,
Philosophie
Notizen:
Abstract Normal systems of modal logic, interpreted as deontic logics, are unsuitable for a logic of conflicting obligations. By using modal operators based on a more complex semantics, however, we can provide for conflicting obligations, as in [9], which is formally similar to a fragment of the logic of ability later given in [2], Having gone that far, we may find it desirable to be able to express and consider claims about the comparative strengths, or degrees of urgency, of the conflicting obligations under which we stand. This paper, building on the formalism of the logic of ability in [2], provides a complete and decidable system for such a language.
Materialart:
Digitale Medien
URL:
http://dx.doi.org/10.1007/BF00370672
Permalink
