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).
@article{arxiv.1608.06787,
title = {Expressibility of norms in temporal logic},
author = {Natasha Alechina and Mehdi Dastani and Brian Logan},
journal= {arXiv preprint arXiv:1608.06787},
year = {2016}
}