Deontic Logic in Computer Science

Abstract

The ESSLLI course material has been compiled by Leon van der Torre and Jörg Hansen. Unless otherwise mentioned, the copyright lies with the individual authors of the material. Leon van der Torre and Jörg Hansen declare that they have obtained all necessary permissions for the distribution of this material. ESSLLI 2008 and its organizers take no legal responsibility for the contents of this booklet.