Erratum to "Frequency Linear-time Temporal Logic"

10/01/2020
by   Benedikt Bollig, et al.
0

We correct our proof of a theorem stating that satisfiability of frequency linear-time temporal logic is undecidable [TASE 2012].

READ FULL TEXT

page 1

page 2

page 3

page 4

research
11/09/2017

A Proof of Stavi's Theorem

Kamp's theorem established the expressive equivalence of the temporal lo...
research
05/30/2022

LTL with Local and Remote Data Constraints

We consider an extension of linear-time temporal logic (LTL) with both l...
research
02/26/2019

A New Linear Time Correctness Condition for Multiplicative Linear Logic

In this paper, we give a new linear time correctness condition for proof...
research
09/13/2021

The inverse of Ackermann function is computable in linear time

We propose a detailed proof of the fact that the inverse of Ackermann fu...
research
12/25/2020

Standard Grammars for LTL and LDL (v0.1.0)

The heterogeneity of tools that support temporal logic formulae poses se...
research
05/05/2023

Specification and verification of a linear-time logic for graph transformation

We present a first-order linear-time temporal logic for reasoning about ...
research
06/02/2023

The logic of temporal domination

In this short note, we are concerned with the fairness condition "A and ...

Please sign up or login with your details

Forgot password? Click here to reset