
The Manchester twins : conflicts between directed obligations
- Author
- Stef Frijters and Thijs De Coninck (UGent)
- Organization
- Abstract
- Term-modal logic uses modal operators that are indexed with terms of the language,which allows for quantification over these operators. Term-modal deontic logics (TMDL) can capture reasoning with rules, directed, and undirected obligations. Us-ing the rich language of TMDL, we identify different types of deontic conflicts between directed obligations and describe reasoning in the face of these conflicts. We develop several monotonic logics in the TMDL family and show that none is capable of cap-turing all plausible deontic principles, while also being conflict-tolerant. To remedythis we develop several non-monotonic extensions in the format of adaptive logics.We end by isolating one of these,TMDLm, and commenting on it.
- Keywords
- Conflict-tolerant deontic logic, term-modal logic, first-order, undirected obligations, directed obligations
Downloads
-
(...).pdf
- full text (Published version)
- |
- UGent only
- |
- |
- 432.31 KB
Citation
Please use this url to cite or link to this publication: http://hdl.handle.net/1854/LU-8678416
- MLA
- Frijters, Stef, and Thijs De Coninck. “The Manchester Twins : Conflicts between Directed Obligations.” Deontic Logic and Normative Systems : 15th International Conference, DEON 2020/2021, edited by Fenrong Liu et al., College Publications, 2021, pp. 166–82.
- APA
- Frijters, S., & De Coninck, T. (2021). The Manchester twins : conflicts between directed obligations. In F. Liu, A. Marra, P. Portner, & F. Van De Putte (Eds.), Deontic logic and normative systems : 15th international conference, DEON 2020/2021 (pp. 166–182). London: College Publications.
- Chicago author-date
- Frijters, Stef, and Thijs De Coninck. 2021. “The Manchester Twins : Conflicts between Directed Obligations.” In Deontic Logic and Normative Systems : 15th International Conference, DEON 2020/2021, edited by Fenrong Liu, Alessandra Marra, Paul Portner, and Frederik Van De Putte, 166–82. London: College Publications.
- Chicago author-date (all authors)
- Frijters, Stef, and Thijs De Coninck. 2021. “The Manchester Twins : Conflicts between Directed Obligations.” In Deontic Logic and Normative Systems : 15th International Conference, DEON 2020/2021, ed by. Fenrong Liu, Alessandra Marra, Paul Portner, and Frederik Van De Putte, 166–182. London: College Publications.
- Vancouver
- 1.Frijters S, De Coninck T. The Manchester twins : conflicts between directed obligations. In: Liu F, Marra A, Portner P, Van De Putte F, editors. Deontic logic and normative systems : 15th international conference, DEON 2020/2021. London: College Publications; 2021. p. 166–82.
- IEEE
- [1]S. Frijters and T. De Coninck, “The Manchester twins : conflicts between directed obligations,” in Deontic logic and normative systems : 15th international conference, DEON 2020/2021, Online, 2021, pp. 166–182.
@inproceedings{8678416, abstract = {{Term-modal logic uses modal operators that are indexed with terms of the language,which allows for quantification over these operators. Term-modal deontic logics (TMDL) can capture reasoning with rules, directed, and undirected obligations. Us-ing the rich language of TMDL, we identify different types of deontic conflicts between directed obligations and describe reasoning in the face of these conflicts. We develop several monotonic logics in the TMDL family and show that none is capable of cap-turing all plausible deontic principles, while also being conflict-tolerant. To remedythis we develop several non-monotonic extensions in the format of adaptive logics.We end by isolating one of these,TMDLm, and commenting on it.}}, author = {{Frijters, Stef and De Coninck, Thijs}}, booktitle = {{Deontic logic and normative systems : 15th international conference, DEON 2020/2021}}, editor = {{Liu, Fenrong and Marra, Alessandra and Portner, Paul and Van De Putte, Frederik}}, isbn = {{9781848903524}}, keywords = {{Conflict-tolerant deontic logic,term-modal logic,first-order,undirected obligations,directed obligations}}, language = {{eng}}, location = {{Online}}, pages = {{166--182}}, publisher = {{College Publications}}, title = {{The Manchester twins : conflicts between directed obligations}}, year = {{2021}}, }