Expressibility of norms in temporal logic

TL;DR

This paper examines whether norms like obligations and prohibitions can be represented in linear temporal logic, addressing debates about its expressive limitations.

Contribution

It clarifies the expressibility of norms in LTL, challenging previous claims of its limitations in representing normative concepts.

Findings

Norms can be expressed in LTL under certain conditions

The argument that LTL cannot represent norms is contested

The paper provides insights into the expressive power of temporal logic

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