The Second Order Traffic Fine: Temporal Reasoning in European Transport Regulations
Ana de Almeida Borges, Juan José Conejero Rodríguez, David Fernández–Duque, Mireia González Bedmar, Joost J. Joosten · Ghent University Academic Bibliography (Ghent University) · 2019
We argue that European transport regulations can be formalized within the Sigma^1_1 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.