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

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学科分类:计算理论→模态逻辑与时间逻辑;→高等理论

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

查看原文

微信好友朋友圈 QQ好友复制链接

本刊更多论文

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%

发文量

期刊最新文献

Early Detection of Temporal Constraint Violations LSCPM: communities in massive real-world Link Streams by Clique Percolation Method Taming Strategy Logic: Non-Recurrent Fragments Realizability Problem for Constraint LTL Logical Forms of Chronicles