A preference-based semantics for CTD reasoning
| Contribuinte(s) |
Cariani, F. Grossi, D. Meheus, J. Parent, X. |
|---|---|
| Data(s) |
2014
|
| Resumo |
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. |
| Identificador | |
| Publicador |
Springer |
| Relação |
DOI:10.1007/978-3-319-08615-6_5 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. |
| Fonte |
School of Information Systems; Science & Engineering Faculty |
| Tipo |
Conference Paper |
