Expressibility of norms in temporal logic | Read Paper on Bytez