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.

Keywords

Linear temporal logic, monadic second order logic, formalized law, transport regulations

Citation

de Almeida Borges, A., Conejero Rodríguez, J., Fernández-Duque, D., González Bedmar, M., & Joosten, J. J. (2019). Gamper, J., Pinchinat, S., & Sciavicco, G. (Eds.). The second order traffic fine: temporal reasoning in European transport regulations. 26th International Symposium on Temporal Representation and Reasoning (TIME 2019) (pp. 6:1–6:16). Schloss Dagstuhl–Leibniz-Zentrum fuer Informatik. URL: https://drops.dagstuhl.de/storage/00lipics/lipics-vol147-time2019/LIPIcs.TIME.2019.6/LIPIcs.TIME.2019.6.pdf, doi:10.4230/LIPIcs.TIME.2019.6

@InProceedings{deAlmeidaBorges2019_TrafficFine,
  author = "{de Almeida Borges}, Ana and {Conejero Rodríguez}, Juan and Fernández-Duque, David and {González Bedmar}, Mireia and Joosten, Joost J.",
  editor = "Gamper, Johann and Pinchinat, Sophie and Sciavicco, Guido",
  title = "The Second Order Traffic Fine: Temporal Reasoning in {E}uropean Transport Regulations",
  booktitle = "26th International Symposium on Temporal Representation and Reasoning (TIME 2019)",
  pages = "6:1--6:16",
  series = "Leibniz International Proceedings in Informatics (LIPIcs)",
  ISBN = "978-3-95977-127-6",
  ISSN = "1868-8969",
  year = "2019",
  volume = "147",
  publisher = "Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik",
  address = "Dagstuhl, Germany",
  URL = "https://drops.dagstuhl.de/storage/00lipics/lipics-vol147-time2019/LIPIcs.TIME.2019.6/LIPIcs.TIME.2019.6.pdf",
  URN = "urn:nbn:de:0030-drops-113649",
  doi = "10.4230/LIPIcs.TIME.2019.6",
  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.",
  keywords = "Linear temporal logic, monadic second order logic, formalized law, transport regulations"
}