EXTENDED TEMPORAL LOGICS ON FINITE TREES

DOI10.1142/9789814317610_0004MaRDI QIDQ4922672zbMATH OpenOpenAlexFDO

Authors Szabolcs Iván, Zoltán Ésik

Publication date 3 June 2013

Published in Automata, Formal Languages and Algebraic Systems (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1142/9789814317610_0004

Mathematics Subject Classification ID

Temporal logic (03B44) Basic properties of first-order languages and structures (03C07) Algebraic theory of languages and automata (68Q70)

Recommendations

• A family of temporal logics on finite trees
• Expressive completeness of temporal logic of trees
• Cascade Products and Temporal Logics on Finite Trees
• Branching-time temporal logic and tree automata
• scientific article; zbMATH DE number 1863182
• Finite trees in tense logic
• An infinite hierarchy of temporal logics over branching time
• Two-Way Unary Temporal Logic over Trees
• Timed tree automata with an application to temporal logic.
• Temporal Logics with Reference Pointers and Computation Tree Logics

Cited in

(7)

• Finite trees in tense logic
• Characterizing EF and EX tree logics
• scientific article; zbMATH DE number 1678388 (Why is no real title available?)
• Two-Way Unary Temporal Logic over Trees
• Games for Temporal Logics on Trees
• scientific article; zbMATH DE number 1948485 (Why is no real title available?)
• A family of temporal logics on finite trees

This page was built for publication: EXTENDED TEMPORAL LOGICS ON FINITE TREES

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