Expressibility of norms in temporal logic
classification
💻 cs.AI
keywords
logicnormstemporaladdressargumentcannotexpressedexpressibility
read the original abstract
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).
This paper has not been read by Pith yet.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.