Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH scholarly article en de Almeida Borges, Ana; Conejero Rodríguez, Juan José; Fernández-Duque, David; González Bedmar, Mireia; Joosten, Joost J. https://www.dagstuhl.de/lipics License: Creative Commons Attribution 3.0 Unported license (CC-BY 3.0)
when quoting this document, please refer to the following
DOI:
URN: urn:nbn:de:0030-drops-113649
URL:

; ; ; ;

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

pdf-format:


Abstract

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.

BibTeX - Entry

@InProceedings{dealmeidaborges_et_al:LIPIcs:2019:11364,
  author =	{Ana de Almeida Borges and Juan Jos{\'e} Conejero Rodr{\'\i}guez and David Fern{\'a}ndez-Duque and Mireia Gonz{\'a}lez Bedmar and Joost J. Joosten},
  title =	{{The Second Order Traffic Fine: Temporal Reasoning in European 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},
  editor =	{Johann Gamper and Sophie Pinchinat and Guido Sciavicco},
  publisher =	{Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{http://drops.dagstuhl.de/opus/volltexte/2019/11364},
  URN =		{urn:nbn:de:0030-drops-113649},
  doi =		{10.4230/LIPIcs.TIME.2019.6},
  annote =	{Keywords: linear temporal logic, monadic second order logic, formalized law, transport regulations}
}

Keywords: linear temporal logic, monadic second order logic, formalized law, transport regulations
Seminar: 26th International Symposium on Temporal Representation and Reasoning (TIME 2019)
Issue date: 2019
Date of publication: 07.10.2019


DROPS-Home | Fulltext Search | Imprint | Privacy Published by LZI