论文标题
有限痕迹的时间逻辑的标准语法
A Standard Grammar for Temporal Logics on Finite Traces
论文作者
论文摘要
支持时间逻辑公式的工具的异质性在互操作性方面构成了一些挑战。特别是，尽管当前缺少与无限痕迹相似的有限轨迹的标准语法，尽管与无限痕迹相似。本文档提出了一种标准语法，用于对有限痕迹解释的几种时间逻辑形式主义，例如线性时间逻辑（LTLF），线性动态逻辑（LDLF），纯Past线性时间逻辑（PLTLF）和纯Past line Dromental Dynameral逻辑（PLDLF）。
The heterogeneity of tools that support temporal logic formulae poses several challenges in terms of interoperability. In particular, a standard syntax for temporal logic on finite traces, despite similar to the one for infinite traces, is currently missing. This document proposes a standard grammar for several temporal logic formalisms interpreted over finite traces, like Linear Temporal Logic (LTLf), Linear Dynamic Logic (LDLf), Pure-Past Linear Temporal Logic (PLTLf) and Pure-Past Linear Dynamic Logic (PLDLf).
