RAIRO-Theor. Inf. Appl.
Volume 47, Number 3, July-September 2013
|Page(s)||261 - 291|
|Published online||30 July 2013|
New applications of the wreath product of forest algebras∗
Computer Science Department, Boston College, Chestnut Hill, 02467
Accepted: 19 June 2013
We give several new applications of the wreath product of forest algebras to the study of logics on trees. These include new simplified proofs of necessary conditions for definability in CTL and first-order logic with the ancestor relation; a sequence of identities satisfied by all forest languages definable in PDL; and new examples of languages outside CTL, along with an application to the question of what properties are definable in both CTL and LTL.
Mathematics Subject Classification: 03D05 / 68Q70
Key words: Tree automata / temporal logics / forest algebras
© EDP Sciences 2013
Current usage metrics show cumulative count of Article Views (full-text article views including HTML views, PDF and ePub downloads, according to the available data) and Abstracts Views on Vision4Press platform.
Data correspond to usage on the plateform after 2015. The current usage metrics is available 48-96 hours after online publication and is updated daily on week days.
Initial download of the metrics may take a while.