文章基本信息

标题：The Second Order Traffic Fine: Temporal Reasoning in European Transport Regulations
本地全文：下载
作者：Ana de Almeida Borges ; Juan Jos Conejero Rodr{\'\i}guez ; David Fern{\'a}ndez-Duque 等
期刊名称：LIPIcs : Leibniz International Proceedings in Informatics
电子版ISSN：1868-8969
出版年度：2019
卷号：147
页码：1-16
DOI：10.4230/LIPIcs.TIME.2019.6
出版社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
摘要：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.
关键词：linear temporal logic; monadic second order logic; formalized law; transport regulations