A family of temporal logics on finite trees

zbMATH Open1274.03032MaRDI QIDQ4913486FDOQ4913486

Authors: Szabolcs Iván, Zoltán Ésik 

Publication date: 5 April 2013

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

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)

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
• Title not available (Why is that?)

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)