Erratum to "Frequency Linear-time Temporal Logic"
Benedikt Bollig, Normann Decker, Martin Leucker
TL;DR
This paper corrects a previous proof regarding the undecidability of satisfiability in frequency linear-time temporal logic, ensuring the accuracy of foundational results in this area.
Contribution
It provides a correction to the original proof, clarifying the decidability status of frequency linear-time temporal logic.
Findings
Original proof of undecidability was incorrect
Corrected proof clarifies the decidability status
Ensures accuracy of foundational results in temporal logic
Abstract
We correct our proof of a theorem stating that satisfiability of frequency linear-time temporal logic is undecidable [TASE 2012].
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsFormal Methods in Verification · Logic, programming, and type systems · Logic, Reasoning, and Knowledge