A theory of hierarchical consequence and conditionals
  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. 
Dov Gabbay (LIF), Karl Schlechta (LIF)