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.

rg358-f114-069

Digital image

Teología, 1997, Tomo XXXIV nº 069 (número completo)

Catecismos pampas (1870-1885). Circunstancias históricas y alcances pastorales / Juan Guillermo Durán -- La interpretación teológica de los Dogmas. Entre la verdad y la historia / Alfredo H. Zecca -- Teresa de Lisieux, la teología existencial de una mujer / Virginia R. Azcuy -- Notas bibliográficas

Estatuto da criança e do adolescente [gravação de som] : Lei número 8.069, de 13 de julho de 1990, e legislação correlata

Apresenta a Lei nº 8.069, de 13 de julho de 1990, que trata do Estatuto da Criança e do Adolescente.

Estatuto da criança e do adolescente e legislação correlata : Lei n. 8.069, de 13 de julho de 1990, e legislação correlata

Atualizado até 8/8/2016.