Critical analysis of the Carmo-Jones system of Contrary-to-Duty obligations

Dov Gabbay (1) , Karl Schlechta (2)

1 King‘s College London
2 LIF - Laboratoire d'informatique Fondamentale de Marseille - UMR 6166

We offer a technical analysis of the contrary to duty system proposed in Carmo-Jones. We offer analysis/simplification/repair of their system and compare it with our own related system.

Mots clés: Obligations; contrary-to-duty

Domaines: Logique [math.LO]

Dov Gabbay, Karl Schlechta. Critical analysis of the Carmo-Jones system of Contrary-to-Duty obligations. 2010. ⟨hal-00456854⟩