Expressibility of norms in temporal logic
  In this short note we address the issue of expressing norms (such as obligations and prohibitions) in temporal logic. In particular, we address the argument from [Governatori 2015] that norms cannot be expressed in Linear Time Temporal Logic (LTL). 
Natasha Alechina, Mehdi Dastani, and Brian Logan
cs.AI