Name
Abstract | ||
|---|---|---|
In this article we present the logic MP⊏ that explicates reasoning on the basis of prioritized obligations. Although formal criteria to handle prioritized obligations have been formulated in the literature, little attention has been paid to the actual (non-monotonic) reasoning that makes use of these criteria. The dynamic proof theory of MP⊏ fills this lacuna. This article focuses on premise sets consisting of possibly conflicting prima facie obligations that have a modular order. MP⊏ allows to derive—inter alia—the actual, all-things-considered obligations from such premise sets. It is defined in the format of lexicographic adaptive logics from [34], whence a rich meta-theory is immediately available (e.g. soundness and completeness, idempotence, reflexivity, etc.). In addition, we establish some meta-theoretic results that are specific to the context of prioritized obligations. With the aid of concrete examples, we illustrate properties of MP⊏ which improve on other existing criteria for prioritized obligations. |
Year | DOI | Venue |
|---|---|---|
2013 | 10.1093/logcom/exs008 | J. Log. Comput. |
Keywords | Field | DocType |
existing criterion,all-things-considered obligation,explicates reasoning,formal criterion,prioritized normative reasoning,dynamic proof theory,conflicting prima facie obligation,premise set,prioritized obligation,concrete example,logic mp | Reflexivity,Algorithm,Proof theory,Premise,Lexicographical order,Soundness,Idempotence,Completeness (statistics),Mathematics,Prima facie | Journal |
Volume | Issue | ISSN |
23 | 3 | 0955-792X |
Citations | PageRank | References |
2 | 0.39 | 6 |
Authors | ||
2 | ||
Name | Order | Citations | PageRank |
|---|---|---|---|
| Frederik Van De Putte | 1 | 28 | 5.49 |
| Christian Straßer | 2 | 101 | 19.12 |