arXiv Open Access 2020

A Standard Grammar for Temporal Logics on Finite Traces

Marco Favorito

Lihat Sumber

Abstrak

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).

Topik & Kata Kunci

cs.LO cs.SE

Penulis (1)

Marco Favorito

Format Sitasi

APA MLA BibTeX

Favorito, M. (2020). A Standard Grammar for Temporal Logics on Finite Traces. https://arxiv.org/abs/2012.13638

Akses Cepat

Lihat di Sumber

Informasi Jurnal

Tahun Terbit: 2020
Bahasa: en
Sumber Database: arXiv
Akses: Open Access ✓