Ana de Almeida Borges, Juan José Conejero Rodríguez, D. Fernández-Duque, Mireia González Bedmar, J. Joosten
{"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 Classification 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}
引用次数: 1
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 Classification Theory of computation → Modal and temporal logics; Theory of → Higher
京公网安备 11010802042870号
京ICP备2023020795号-1
分享
求助内容：
应助结果提醒方式：
扫码关注我们
