A theory of hierarchical consequence and conditionals

Dov Gabbay (1) , Karl Schlechta (1)

1 LIF - Laboratoire d'informatique Fondamentale de Marseille - UMR 6166

We introduce A-ranked preferential structures and combine them with an accessibility relation. This framework allows us to formalize contrary to duty obligations. Representation results are proved.

Mots clés: Preferential structures; nonmonotonic logics; contrary to duty obligations

Domaines: Logique [math.LO]

Dov Gabbay, Karl Schlechta. A theory of hierarchical consequence and conditionals. 2008. ⟨hal-00311937⟩