Most juridical systems contain the principle that an act is only unlawful if the agent conducting the act has a `guilty mind' (`mens rea'). Different law systems distinguish di erent modes of mens rea. For instance, American law distinguishes between `knowingly' performing a criminal act, `recklessness', `strict liability', etc. I will show we can formalize several of these categories. The form...