A preference-based semantics for CTD reasoning

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.

Teología, 1992, Tomo XXIX nº 060 (número completo)

Teología de la caridad y oración en San Anselmo: Lectura de la oración XII / Eduardo Briancesco -- La teología en la Argentina. Segunda mitad del siglo XX ¿Tradición o ruptura? / Juan C. Maccarone -- La teología mística de Dionisio Aeropagita / Ignacio E. M. Andereggen -- La doliente cruz del desear humano / Ricardo O. Diez -- Crónica de la Facultad -- Notas bibliográficas -- Índice del tomo XXIX