A preference-based semantics for CTD reasoning

Calardo, Erica, Governatori, Guido, & Rotolo, Antonino (2014) A preference-based semantics for CTD reasoning. In Cariani, F., Grossi, D., Meheus, J., & Parent, X. (Eds.) Deontic Logic and Normative Systems: 12th International Conference, DEON 2014, Ghent, Belgium, July 12-15, 2014. Proceedings, Springer, Ghent, Belgium, pp. 49-64.

View at publisher


In [8] the authors developed a logical system based on the definition of a new non-classical connective ⊗ capturing the notion of reparative obligation. The system proved to be appropriate for handling well-known contrary-to-duty paradoxes but no model-theoretic semantics was presented. In this paper we fill the gap and define a suitable possible-world semantics for the system for which we can prove soundness and completeness. The semantics is a preference-based non-normal one extending and generalizing semantics for classical modal logics.

Impact and interest:

1 citations in Scopus
Search Google Scholar™

Citation counts are sourced monthly from Scopus and Web of Science® citation databases.

These databases contain citations from different subsets of available publications and different time periods and thus the citation count from each is usually different. Some works are not in either database and no count is displayed. Scopus includes citations from articles published in 1996 onwards, and Web of Science® generally from 1980 onwards.

Citations counts from the Google Scholar™ indexing service can be viewed at the linked Google Scholar™ search.

ID Code: 88539
Item Type: Conference Paper
Refereed: Yes
DOI: 10.1007/978-3-319-08615-6_5
ISBN: 9783319086149
Divisions: Current > Schools > School of Information Systems
Current > QUT Faculties and Divisions > Science & Engineering Faculty
Deposited On: 20 Oct 2015 05:04
Last Modified: 20 Oct 2015 05:04

Export: EndNote | Dublin Core | BibTeX

Repository Staff Only: item control page