Sets, Sentences, and Some Logics about Imperatives
Jörg W. Hansen · Deontic Logic in Computer Science · 2001
Though deontic logic is regarded as the logic of normative reasoning, norms - as entities lacking truth values - are usually represented neither in its language nor its semantics. Limiting ourselves to unconditional imperatives, we propose a concept for their semantic representation and show that existing systems of monadic and dyadic deontic logic can be reconstructed accordingly.