LIPIcs.TIME.2019.6.pdf
- Filesize: 0.54 MB
- 16 pages
Document
The Second Order Traffic Fine: Temporal Reasoning in European Transport Regulations
Authors
Ana de Almeida Borges 
,
Juan José Conejero Rodríguez ,
David Fernández-Duque ,
Mireia González Bedmar ,
Joost J. Joosten
-
Part of:
Volume:
26th International Symposium on Temporal Representation and Reasoning (TIME 2019)
Series: Leibniz International Proceedings in Informatics (LIPIcs)
Conference: International Symposium on Temporal Representation and Reasoning (TIME) - License:
Creative Commons Attribution 3.0 Unported license
- Publication Date: 2019-10-07
File
Document Identifiers
Author Details
Acknowledgements
We are grateful to Albert Atserias and Martín Diéguez for insightful discussions involving Kamp’s theorem and its variants.
Cite AsGet BibTex
Ana de Almeida Borges, Juan José Conejero Rodríguez, David Fernández-Duque, Mireia González Bedmar, and Joost J. Joosten. The Second Order Traffic Fine: Temporal Reasoning in European Transport Regulations. In 26th International Symposium on Temporal Representation and Reasoning (TIME 2019). Leibniz International Proceedings in Informatics (LIPIcs), Volume 147, pp. 6:1-6:16, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2019)
https://doi.org/10.4230/LIPIcs.TIME.2019.6
https://doi.org/10.4230/LIPIcs.TIME.2019.6
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.
Subject Classification
ACM Subject Classification
- Theory of computation → Modal and temporal logics
- Theory of computation → Higher order logic
- Applied computing → Law
Keywords
- linear temporal logic
- monadic second order logic
- formalized law
- transport regulations
Metrics
- Access Statistics
-
Total Accesses (updated on a weekly basis)
0PDF Downloads
References
-
J. Boudou, M. Diéguez, and D. Fernández-Duque. A Decidable Intuitionistic Temporal Logic. In 26th EACSL Annual Conference on Computer Science Logic (CSL), pages 14:1-14:17, 2017.
- J. del Castillo Tierz. When the laws of logic meet the logic of laws. Master’s thesis, University of Barcelona, Barcelona, 2018. URL: http://diposit.ub.edu/dspace/handle/2445/133778.
- European Parliament and Council of the European Union. Regulation (EC) No 561/2006 of the European Parliament and of the Council of 15 March 2006 on the harmonisation of certain social legislation relating to road transport and amending council regulations (EEC) No 3821/85 and (EC) No 2135/98 and repealing council regulation (EEC) No 3820/85 (text with EEA relevance) - declaration. Official Journal of the European Union, 2006. URL: https://eur-lex.europa.eu/legal-content/EN/ALL/?uri=CELEX%3A32006R0561.
-
D. Fernández-Duque, M. González Bedmar, D. Sousa, J.J. Joosten, and G. Errezil Alberdi. To Drive or Not to Drive: A Formal Analysis of Requirements (51) and (52) from Regulation (EU) 2016/799. Submitted, 2019.
-
D. Harel, J. Tiuryn, and D. Kozen. Dynamic Logic. MIT Press, Cambridge, MA, USA, 2000.
- J.G. Henriksen and P.S. Thiagarajan. Dynamic Linear Time Temporal Logic. Annals of Pure and Applied Logic, 96(1-3):187-207, 1999. URL: https://doi.org/10.1016/S0168-0072(98)00039-6.
- N. Kamide and H. Wansing. A Paraconsistent Linear-time Temporal Logic. Fundamenta Informaticae, 106(1):1-23, 2011. URL: https://doi.org/10.3233/FI-2011-374.
-
H. Kamp. Tense Logic and the Theory of Linear Order. PhD thesis, UCLA, 1968.
-
N. Kurtonina and M. de Rijke. Bisimulations for Temporal Logic. Journal of Logic, Language and Information, 6(4):403-425, 1997.
-
O. Lichtenstein and A. Pnueli. Propositional Temporal Logics: Decidability and Completeness. Logic Jounal of the IGPL, 8(1):55-85, 2000.
-
H. Weyl. The Continuum: A Critical Examination of the Foundation of Analysis. Mineola: Dover, 1994.