TY  - RPRT
TI  - Expressibility of norms in temporal logic
AU  - Natasha Alechina
AU  - Mehdi Dastani
AU  - Brian Logan
PY  - 2016
UR  - https://arxiv.org/abs/1608.06787
ID  - 1608.06787
ER  -