A tableau construction for finite linear-time temporal logic
From MaRDI portal
Publication:2669249
DOI10.1016/J.JLAMP.2021.100743OpenAlexW3216746143MaRDI QIDQ2669249FDOQ2669249
Authors: Yanyan Li 
Publication date: 9 March 2022
Published in: Journal of Logical and Algebraic Methods in Programming (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1910.09339
Recommendations
- A tableau for general linear temporal logic
- Tableau-based automata construction for dynamic linear time temporal logic
- scientific article; zbMATH DE number 1696514
- scientific article; zbMATH DE number 980417
- scientific article; zbMATH DE number 3937153
- Labelled tableaux for propositional linear time logic over finite frames
- A tableau for temporal logic over the reals
- scientific article
- An improved on-the-fly tableau construction for a real-time temporal logic.
Cites Work
- Title not available (Why is that?)
- Model-checking in dense real-time
- Three Partition Refinement Algorithms
- Alternation
- Results on the propositional \(\mu\)-calculus
- Deterministic planning in the fifth international planning competition: PDDL3 and experimental evaluation of the planners
- “Sometimes” and “not never” revisited
- Title not available (Why is that?)
- Comparing LTL semantics for runtime verification
- An implementation of an efficient algorithm for bisimulation equivalence
- Title not available (Why is that?)
- Finite-trace linear temporal logic: coinductive completeness
- Variants of LTL query checking
Cited In (10)
- Temporalising tableaux
- Designing tableau-like axiomatization for propositional linear temporal logic at home of Arthur Prior
- Learning and characterizing fully-ordered lattice automata
- Tableaux for constructive concurrent dynamic logic
- Towards an efficient implementation of a tableau method for reactive safety specifications
- Tableau method and NEXPTIME-completeness of DEL-sequents
- Optimal Tableaux-Based Decision Procedure for Testing Satisfiability in the Alternating-Time Temporal Logic ATL+
- Specification and verification of a linear-time temporal logic for graph transformation
- Title not available (Why is that?)
- Title not available (Why is that?)
Uses Software
This page was built for publication: A tableau construction for finite linear-time temporal logic
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2669249)
