A Preference-Based Semantics for CTD Reasoning [chapter]

Erica Calardo, Guido Governatori, Antonino Rotolo
2014 Lecture Notes in Computer Science  
In [1] 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.
doi:10.1007/978-3-319-08615-6_5 fatcat:phg545tdaffnzcaiqc25k2z5km