Studer, Thomas; Faroldi, Federico; Ghari, Meghdad; Lehmann, Eveline (2020). Impossible and Conflicting Obligations in Justification Logic (Submitted). In: 15th International Conference on Deontic Logic and Normative Systems (DEON 2020). 30.07.2020 – 02.08.2020 (postponed to 2021).
![[img]](https://boris.unibe.ch/style/images/fileicons/text.png) |
Text
AboutD.pdf - Submitted Version Restricted to registered users only Available under License Publisher holds Copyright. Download (308kB) |
Different notions of the consistency of obligations collapse in standard deontic logic.In justification logics, which feature explicit reasons for obligations, the situation isdifferent. Their strength depends on a constant specification and on the availableset of operations for combining different reasons. We present different consistencyprinciples in justification logic and compare their logical strength. Further, we proposea novel semantics for which justification logics with the explicit version of axiom D,jd,are complete for arbitrary constant specifications. We then discuss the philosophicalimplications with regard to some deontic paradoxes.
Item Type: |
Conference or Workshop Item (Paper) |
|---|---|
Division/Institute: |
08 Faculty of Science > Institute of Computer Science (INF) > Logic and Theory Group (LTG) 08 Faculty of Science > Institute of Computer Science (INF) |
UniBE Contributor: |
Studer, Thomas, Lehmann, Eveline |
Subjects: |
000 Computer science, knowledge & systems 500 Science > 510 Mathematics |
Language: |
English |
Submitter: |
Atefeh Rohani |
Date Deposited: |
02 Sep 2020 08:56 |
Last Modified: |
05 Dec 2022 15:40 |
BORIS DOI: |
10.7892/boris.146169 |
URI: |
https://boris.unibe.ch/id/eprint/146169 |
Actions (login required)
 |
Edit item |