A Complete and Compact Propositional Deontic Logic.

Pablo F. Castro, T. S. E. Maibaum

Browse the full ICTAC paper archive.