Size-change termination and satisfiability for linear-time temporal logics

DOI10.1007/978-3-642-24364-6_3MaRDI QIDQ3172880zbMATHOpenAlexFDO

Authors Martin Lange

Publication date 7 October 2011

Published in Frontiers of Combining Systems (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-24364-6_3

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Automata and formal grammars in connection with logical questions (03D05) Decidability of theories and sets of sentences (03B25) Temporal logic (03B44)

Recommendations

• Automata and temporal logic over arbitrary linear time
• Alternating automata: unifying truth and validity checking for temporal logics
• scientific article; zbMATH DE number 3972842
• An automata-theoretic approach to branching-time model checking
• The complexity of propositional linear temporal logics

Cites work

• scientific article; zbMATH DE number 1705164 (Why is no real title available?)
• scientific article; zbMATH DE number 1142326 (Why is no real title available?)
• scientific article; zbMATH DE number 1863182 (Why is no real title available?)
• scientific article; zbMATH DE number 1392300 (Why is no real title available?)
• A Proof System for the Linear Time μ-Calculus
• Alternating finite automata on \(\omega\)-words
• Alternation Elimination by Complementation (Extended Abstract)
• Büchi Complementation and Size-Change Termination
• Efficient Büchi universality checking
• Linear Time Logics Around PSL: Complexity, Expressiveness, and a Little Bit of Succinctness
• Reasoning about infinite computations
• Temporal logic can be more expressive
• The complexity of propositional linear temporal logics
• The size-change principle for program termination

Cited in

(2)

• Size-estimation framework with applications to transitive closure and reachability
• Size-Change Abstraction and Max-Plus Automata

This page was built for publication: Size-change termination and satisfiability for linear-time temporal logics

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3172880)