A logic for reasoning about digital rights Riccardo Pucella, Vicky Weissman {riccardo,vickyw}@cs.cornell.edu Cornell University.