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, 1995, Tomo XXXII nº 065 (número completo)

Romanos 9-11. Gracia y predestinación / Victor M. Fernández -- La eucaristía en la constitución pastoral “Gaudium et Spes” / Gabriel Seguí i Trobat -- Los franciscanos de Río IV y la evangelización de los indios ranqueles / Pedro Gaudiano -- El “Big-Bang” y la visión cristiana del universo / Mario E. Sacchi -- Notas bibliográficas