二级交通罚款:欧洲交通法规的时间推理

Time Pub Date : 2019-01-01 DOI:10.4230/LIPIcs.TIME.2019.6

Ana de Almeida Borges, Juan José Conejero Rodríguez, D. Fernández-Duque, Mireia González Bedmar, J. Joosten

{"title":"二级交通罚款:欧洲交通法规的时间推理","authors":"Ana de Almeida Borges, Juan José Conejero Rodríguez, D. Fernández-Duque, Mireia González Bedmar, J. Joosten","doi":"10.4230/LIPIcs.TIME.2019.6","DOIUrl":null,"url":null,"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. 2012 ACM Subject Classiﬁcation Theory of computation → Modal and temporal logics; Theory of → Higher","PeriodicalId":75226,"journal":{"name":"Time","volume":"86 1","pages":"6:1-6:16"},"PeriodicalIF":0.0000,"publicationDate":"2019-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"1","resultStr":"{\"title\":\"The Second Order Traffic Fine: Temporal Reasoning in European Transport Regulations\",\"authors\":\"Ana de Almeida Borges, Juan José Conejero Rodríguez, D. Fernández-Duque, Mireia González Bedmar, J. Joosten\",\"doi\":\"10.4230/LIPIcs.TIME.2019.6\",\"DOIUrl\":null,\"url\":null,\"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. 2012 ACM Subject Classiﬁcation Theory of computation → Modal and temporal logics; Theory of → Higher\",\"PeriodicalId\":75226,\"journal\":{\"name\":\"Time\",\"volume\":\"86 1\",\"pages\":\"6:1-6:16\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2019-01-01\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"1\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Time\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.4230/LIPIcs.TIME.2019.6\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Time","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.4230/LIPIcs.TIME.2019.6","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 1

摘要

我们认为欧洲运输法规可以在一元二阶逻辑的Σ 11片段中形式化，并且可能包括线性时间逻辑在内的较弱片段。我们考虑了条例中的几条条款来验证这些说法。2012 ACM学科分类:计算理论→模态逻辑与时间逻辑;→高等理论

本文章由计算机程序翻译，如有差异，请以英文原文为准。

查看原文本刊更多论文

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

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. 2012 ACM Subject Classiﬁcation Theory of computation → Modal and temporal logics; Theory of → Higher

求助全文

通过发布文献求助，成功后即可免费获取论文全文。去求助

来源期刊

Time

自引率

0.00%

发文量