J Van Benthem,
D Grossi,
F Liu - Deontic Logic in Computer Science: 10th …, 2010 - Springer
This paper looks at deontic logic as resulting from both a betterness ordering on states (ie, a
'deontic preference') and a priority ordering on properties (ie, a 'law'explicitly representing a …