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
© 2001-2024 Fundación Dialnet · Todos los derechos reservados