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.
A preference-based semantics for CTD reasoning / Calardo, Erica; Governatori, Guido; Rotolo, Antonino. - STAMPA. - 8554:(2014), pp. 49-64. (Intervento presentato al convegno 12th International Conference on Deontic Logic and Normative Systems, DEON 2014 tenutosi a Ghent, bel nel 2014) [10.1007/978-3-319-08615-6_5].
A preference-based semantics for CTD reasoning
CALARDO, ERICA;ROTOLO, ANTONINO
2014
Abstract
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.I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
