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.

Sapientia, 1974, Vol. XXIX, nº 112 (número completo)

Contenido: Le príncipe d’idetité chez Saint Thomas / R. Verneaux – Unidad de ser y analogía en Santo Tomás de Aquino / Cesáreo López Salgado – St. Thomas’ solution of the problema of faith and reason / A. G. M. Van Melsen – Necesidad de la directa confrontación de textos / Carlos A. Iturralde Colombres – Notas y comentarios -- Bibliografía