The Second Order Traffic Fine: Temporal Reasoning in European Transport Regulations

Abstract

We argue that European transport regulations can be formalized within the Σ 11 fragment of monadic second order logic, and possibly weaker fragments including linear temporal logic. We consider several articles in the regulation to verify these claims. 2012 ACM Subject Classification Theory of computation → Modal and temporal logics; Theory of → Higher