Sanction semantics and contrary-to-duty obligations



Kuijer, LB ORCID: 0000-0001-6696-9023
(2012) Sanction semantics and contrary-to-duty obligations In: International Conference on Deontic Logic in Computer Science.

[thumbnail of Sanction_Semantics_and_Contrary-to-Duty_Obligations.pdf] Text
Sanction_Semantics_and_Contrary-to-Duty_Obligations.pdf - Author Accepted Manuscript

Download (287kB)

Abstract

In this paper I show that one cannot faithfully represent contrary-to-duty obligations in logics with sanction semantics. In order to do so I first provide a number of desiderata that a logic should satisfy in order to represent contrary-to-duty obligations using sanction semantics. I then show that no logic satisfying all desiderata can faithfully represent contrary-to-duty obligations. Finally I show that when dropping any one of the desiderata there is a logic that satisfies all others and can represent some contrary-to-duty obligations faithfully. © 2012 Springer-Verlag Berlin Heidelberg.

Item Type: Conference Item (Unspecified)
Uncontrolled Keywords: 46 Information and Computing Sciences
Depositing User: Symplectic Admin
Date Deposited: 30 Nov 2018 10:18
Last Modified: 23 May 2026 01:42
DOI: 10.1007/978-3-642-31570-1_6
Related Websites:
URI: https://livrepository.liverpool.ac.uk/id/eprint/3029217
Disclaimer: The University of Liverpool is not responsible for content contained on other websites from links within repository metadata. Please contact us if you notice anything that appears incorrect or inappropriate.