Expressibility of norms in temporal logic. (arXiv:1608.06787v1 [cs.AI])

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).

from cs.AI updates on arXiv.org http://ift.tt/2bxE5h8
via IFTTT