A family of temporal logics on finite trees

MaRDI QIDQ4913486zbMATH OpenFDO

Authors Szabolcs Iván, Zoltán Ésik

Publication date 5 April 2013

zbMATH Keywords

tree languagesEhrenfeucht-Fraïssé gamesbranching-time future temporal logicsstrict Moore-product

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Automata and formal grammars in connection with logical questions (03D05) Temporal logic (03B44)

Recommendations

• Games for Temporal Logics on Trees
• EXTENDED TEMPORAL LOGICS ON FINITE TREES
• Characterizing CTL-like logics on finite trees.
• Expressive completeness of temporal logic of trees
• On the expressive power of temporal logic

Cited in

(8)

• EXTENDED TEMPORAL LOGICS ON FINITE TREES
• Two-Way Unary Temporal Logic over Trees
• Expressive completeness of temporal logic of trees
• Finite trees in tense logic
• Characterizing CTL-like logics on finite trees.
• Arity hierarchy for temporal logics
• Games for Temporal Logics on Trees
• scientific article; zbMATH DE number 1948485 (Why is no real title available?)

This page was built for publication: A family of temporal logics on finite trees

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