Abstract
We introduce A-ranked preferential structures and combine them with an accessibility relation. A-ranked preferential structures are intermediate between simple 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.
Original language | English |
---|---|
Pages (from-to) | 3-32 |
Number of pages | 30 |
Journal | Journal of Logic, Language and Information |
Volume | 19 |
Issue number | 1 |
DOIs | |
State | Published - Jan 2010 |
Keywords
- Contrary-to-duties
- Deontic logic
- Nonmonotonic logic
- Preferential structures
- Ranked structures
- Representation results