A family of temporal logics on finite trees

• Autores: Zoltán Esik, Iván Szabolcs
• Localización: Publicationes Mathematicae Debrecen, ISSN 0033-3883, Tomus 77, Fasc. 3-4, 2010, págs. 277-298
• Idioma: inglés
• Texto completo no disponible (Saber más ...)
• Resumen

  • Year: 2010 Vol.: 77 Fasc.: 3-4 Title: A family of temporal logics on ¯nite trees Author(s): Zolt¶an ¶Esik and Szabolcs Iv¶an We associate a temporal logic XTL(L) with each class L of (regular) tree languages and provide both an algebraic and a game-theoretic characterization of the expressive power of the logic XTL(L).

    Address:

    Zolt¶an ¶Esik Department of Computer Science University of Szeged Hungary Address:

    Szabolcs Iv¶an Department of Computer Science University