Erratum to "Frequency Linear-time Temporal Logic".

Benedikt Bollig Normann Decker Martin Leucker

Published in: CoRR (2020)

Keyphrases

linear time temporal logic
natural deduction
sequent calculus
model checking
general purpose
cut elimination
theorem prover