[en] We introduce A-ranked preferential structures and combine them with an
accessibility relation. A-ranked preferential structures are intermediate between sim-
ple preferential structures and ranked structures. The additional accessibility relation
allows us to consider only parts of the overall A-ranked structure. This framework
allows us to formalize contrary to duty obligations, and other pictures where we have
a hierarchy of situations, and maybe not all are accessible to all possible worlds.
Representation results are proved.
Disciplines :
Sciences informatiques
Identifiants :
UNILU:UL-ARTICLE-2011-049
Auteur, co-auteur :
GABBAY, Dov M. ; King’s College London, Department of Computer Science, London, UK ; Bar-Ilan University, Ramat-Gan, Israel
Schlechta, Karl
Langue du document :
Anglais
Titre :
A Theory of Hierarchical Consequence and Conditionals
