AIAug 24, 2016
Expressibility of norms in temporal logic
arXiv:1608.06787v1
Originality Synthesis-oriented
AI Analysis
This work is incremental, focusing on a specific theoretical debate in formal logic and normative systems.
The paper addresses the argument that norms cannot be expressed in Linear Time Temporal Logic (LTL), tackling the problem of formalizing obligations and prohibitions 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).