Sets, Sentences, and Some Logics about Imperatives

Issue title: Deontic Logic in Computer Science

Article type: Research Article

Authors: Hansen, Jörg

Affiliations: Institut für Philosophie, Universität Leipzig, Leipzig, Germany; e-mail: [email protected]

Abstract: 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.

Keywords: logic of imperatives, deontic logic

Journal: Fundamenta Informaticae, vol. 48, no. 2-3, pp. 205-226, 2001